Search dblp for Publications

export results for "stream:streams/journals/loplas:"

 download as .bib file

@article{DBLP:journals/loplas/Ball93,
  author       = {Thomas Ball},
  title        = {What's In a Region? Or Computing Control Dependence Regions In Near-Linear
                  Time for Reducible Control Flow},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {1--16},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176456},
  doi          = {10.1145/176454.176456},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Ball93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Binkley93,
  author       = {David W. Binkley},
  title        = {Precise Executable Interprocedural Slices},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {31--45},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176473},
  doi          = {10.1145/176454.176473},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Binkley93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/BoehmDU93,
  author       = {Hans{-}Juergen Boehm and
                  Alan J. Demers and
                  Chris Uhler},
  title        = {Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {46--58},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176479},
  doi          = {10.1145/176454.176479},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/BoehmDU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/BriggsT93,
  author       = {Preston Briggs and
                  Linda Torczon},
  title        = {An Efficient Representation for Sparse Sets},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {59--69},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176484},
  doi          = {10.1145/176454.176484},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/BriggsT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/BumbulisC93,
  author       = {Peter Bumbulis and
                  Donald D. Cowan},
  title        = {{RE2C:} {A} More Versatile Scanner Generator},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {70--84},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176487},
  doi          = {10.1145/176454.176487},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/BumbulisC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Cameron93,
  author       = {Robert D. Cameron},
  title        = {Extending Context-Free Grammars with Permutation Phrases},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {85--94},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176490},
  doi          = {10.1145/176454.176490},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Cameron93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/ChoudharyFHKKRT93,
  author       = {Alok N. Choudhary and
                  Geoffrey C. Fox and
                  Seema Hiranandani and
                  Ken Kennedy and
                  Charles Koelbel and
                  Sanjay Ranka and
                  Chau{-}Wen Tseng},
  title        = {Unified Compilation of Fortran 77D and 90D},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {95--114},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176495},
  doi          = {10.1145/176454.176495},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/loplas/ChoudharyFHKKRT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/DayLMM93,
  author       = {Mark Day and
                  Barbara Liskov and
                  Umesh Maheshwari and
                  Andrew C. Myers},
  title        = {References to Remote Mobile Objects in Thor},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {115--126},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176500},
  doi          = {10.1145/176454.176500},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/DayLMM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Eyre-Todd93,
  author       = {Richard A. Eyre{-}Todd},
  title        = {The Detection of Dangling References in {C++} Programs},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {127--134},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176504},
  doi          = {10.1145/176454.176504},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Eyre-Todd93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Gupta93,
  author       = {Rajiv Gupta},
  title        = {Optimizing Array Bound Checks Using Flow Analysis},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {135--150},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176507},
  doi          = {10.1145/176454.176507},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/loplas/Gupta93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/KaserRP93,
  author       = {Owen Kaser and
                  C. R. Ramakrishnan and
                  Shaunak Pawagi},
  title        = {On the Conversion of Indirect to Direct Recursion},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {151--164},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176510},
  doi          = {10.1145/176454.176510},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/loplas/KaserRP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Larus93,
  author       = {James R. Larus},
  title        = {Compiling for Shared-Memory and Message-Passing Computers},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {165--180},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176514},
  doi          = {10.1145/176454.176514},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Larus93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/MarriottS93,
  author       = {Kim Marriott and
                  Harald S{\o}ndergaard},
  title        = {Precise and Efficient Groundness Analysis for Logic Programs},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {181--196},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176519},
  doi          = {10.1145/176454.176519},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/MarriottS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/MarriottS93a,
  author       = {Kim Marriott and
                  Peter J. Stuckey},
  title        = {Semantics of Constraint Logic Programs with Optimization},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {197--212},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176522},
  doi          = {10.1145/176454.176522},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/MarriottS93a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/MetzgerS93,
  author       = {Robert Metzger and
                  Sean Stroud},
  title        = {Interprocedural Constant Propagation: An Empirical Study},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {213--232},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176526},
  doi          = {10.1145/176454.176526},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/MetzgerS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/QianG93,
  author       = {Xiaolei Qian and
                  Allen Goldberg},
  title        = {Referential Opacity In Nondeterministic Data Refinement},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {233--241},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176578},
  doi          = {10.1145/176454.176578},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/QianG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Stansifer93,
  author       = {Mike Beaven and
                  Ryan Stansifer},
  title        = {Explaining Type Errors In Polimorphic Languages},
  journal      = {{LOPLAS}},
  volume       = {2},
  number       = {1-4},
  pages        = {17--30},
  year         = {1993},
  url          = {https://doi.org/10.1145/176454.176460},
  doi          = {10.1145/176454.176460},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Stansifer93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Asuru92,
  author       = {Johnathan M. Asuru},
  title        = {Optimization of Array Subscript Range Checks},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {109--118},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151392},
  doi          = {10.1145/151333.151392},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Asuru92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/BriggsCT92,
  author       = {Preston Briggs and
                  Keith D. Cooper and
                  Linda Torczon},
  title        = {Coloring Register Pairs},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {3--13},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130617},
  doi          = {10.1145/130616.130617},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/BriggsCT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/BurkeC92,
  author       = {Michael G. Burke and
                  Jong{-}Deok Choi},
  title        = {Precise and Efficient Integration of Interprocedural Alias Information
                  into Data-Flow Analysis},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {14--21},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130618},
  doi          = {10.1145/130616.130618},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/BurkeC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/CooperHT92,
  author       = {Keith D. Cooper and
                  Mary W. Hall and
                  Linda Torczon},
  title        = {Unexpected Side Effects of Inline Substitution: {A} Case Study},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {22--32},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130619},
  doi          = {10.1145/130616.130619},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/CooperHT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/DanvyH92,
  author       = {Olivier Danvy and
                  John Hatcliff},
  title        = {CPS-Transformation After Strictness Analysis},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {195--212},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151641},
  doi          = {10.1145/151640.151641},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/DanvyH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Dietrich92,
  author       = {Suzanne W. Dietrich},
  title        = {Shortest Path by Approximation in Logic Programs},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {119--137},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151377},
  doi          = {10.1145/151333.151377},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Dietrich92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/DornicJG92,
  author       = {Vincent Dornic and
                  Pierre Jouvelot and
                  David K. Gifford},
  title        = {Polymorphic Time Systems for Estimating Program Complexity},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {33--45},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130620},
  doi          = {10.1145/130616.130620},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/DornicJG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/FraserHP92,
  author       = {Christopher W. Fraser and
                  David R. Hanson and
                  Todd A. Proebsting},
  title        = {Engineering a Simple, Efficient Code-Generator Generator},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {213--226},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151642},
  doi          = {10.1145/151640.151642},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/FraserHP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/FritzonSKG92,
  author       = {Peter Fritzson and
                  Nahid Shahmehri and
                  Mariam Kamkar and
                  Tibor Gyim{\'{o}}thy},
  title        = {Generalized Algorithmic Debugging and Testing},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {4},
  pages        = {303--322},
  year         = {1992},
  url          = {https://doi.org/10.1145/161494.161498},
  doi          = {10.1145/161494.161498},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/FritzonSKG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Goldberg92,
  author       = {David Goldberg},
  title        = {The Design of Floating-Point Data Types},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {138--151},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151373},
  doi          = {10.1145/151333.151373},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Goldberg92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/HallK92,
  author       = {Mary W. Hall and
                  Ken Kennedy},
  title        = {Efficient Call Graph Analysis},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {227--242},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151643},
  doi          = {10.1145/151640.151643},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/HallK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/HummelHN92,
  author       = {Joseph Hummel and
                  Laurie J. Hendren and
                  Alexandru Nicolau},
  title        = {Abstract Description of Pointer Data Structures: An Approach for Improving
                  the Analysis and Optimization of Imperative Programs},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {243--260},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151644},
  doi          = {10.1145/151640.151644},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/HummelHN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Johnson92,
  author       = {Ralph E. Johnson},
  title        = {Reducing the Latency of a Real-Time Garbage Collector},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {46--58},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130621},
  doi          = {10.1145/130616.130621},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Johnson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Landi92,
  author       = {William Landi},
  title        = {Undecidability of Static Analysis},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {4},
  pages        = {323--337},
  year         = {1992},
  url          = {https://doi.org/10.1145/161494.161501},
  doi          = {10.1145/161494.161501},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Landi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/McConnellJ92,
  author       = {Carl McConnell and
                  Ralph E. Johnson},
  title        = {Using Static Single Assignment Form in a Code Optimizer},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {152--160},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151368},
  doi          = {10.1145/151333.151368},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/McConnellJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/McKenneyS92,
  author       = {Bruce McKenney and
                  Boleslaw K. Szymanski},
  title        = {Generating Parallel Code for {SIMD} Machines},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {59--73},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130622},
  doi          = {10.1145/130616.130622},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/McKenneyS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/NetzerM92,
  author       = {Robert H. B. Netzer and
                  Barton P. Miller},
  title        = {What Are Race Conditions? Some Issues and Formalizations},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {74--88},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130623},
  doi          = {10.1145/130616.130623},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/NetzerM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/NilsenS92,
  author       = {Kelvin D. Nilsen and
                  William J. Schmidt},
  title        = {Cost-Effective Object Space Management for Hardware-Assisted Real-Time
                  Garbage Collection},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {4},
  pages        = {338--354},
  year         = {1992},
  url          = {https://doi.org/10.1145/161494.161508},
  doi          = {10.1145/161494.161508},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/NilsenS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Pugh92,
  author       = {William W. Pugh},
  title        = {Definitions of Dependence Distance},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {261--265},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151645},
  doi          = {10.1145/151640.151645},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/loplas/Pugh92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Ramkumar92,
  author       = {Balkrishna Ramkumar},
  title        = {Distributed Last Call Optimization for Portable Parallel Logic Programming},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {266--283},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151345},
  doi          = {10.1145/151640.151345},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Ramkumar92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Singh92,
  author       = {Ambuj K. Singh},
  title        = {On Reasoning With the Global Time Assumption},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {1},
  pages        = {89--103},
  year         = {1992},
  url          = {https://doi.org/10.1145/130616.130624},
  doi          = {10.1145/130616.130624},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Singh92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Srivastava92,
  author       = {Amitabh Srivastava},
  title        = {Unreachable Procedures in Object-Oriented Programming},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {4},
  pages        = {355--364},
  year         = {1992},
  url          = {https://doi.org/10.1145/161494.161517},
  doi          = {10.1145/161494.161517},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Srivastava92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/TarditiLA92,
  author       = {David Tarditi and
                  Peter Lee and
                  Anurag Acharya},
  title        = {No Assembly Required: Compiling Standard {ML} to {C}},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {161--177},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151343},
  doi          = {10.1145/151333.151343},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/loplas/TarditiLA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/WalkerG92,
  author       = {Kenneth Walker and
                  Ralph E. Griswold},
  title        = {The Maintenance of Intermediate Values in Goal-Directed Evaluation},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {3},
  pages        = {284--298},
  year         = {1992},
  url          = {https://doi.org/10.1145/151640.151341},
  doi          = {10.1145/151640.151341},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/WalkerG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/Weiss92,
  author       = {Michael Weiss},
  title        = {The Transitive Closure of Control Dependence: The Iterated Join},
  journal      = {{LOPLAS}},
  volume       = {1},
  number       = {2},
  pages        = {178--190},
  year         = {1992},
  url          = {https://doi.org/10.1145/151333.151337},
  doi          = {10.1145/151333.151337},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/loplas/Weiss92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics