Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/toplas/toplas16.bht:"
download as .bib file
@article{DBLP:journals/toplas/AbadiL94,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {An Old-Fashined Recipe for Real-Time},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1543--1571},
year = {1994},
url = {https://doi.org/10.1145/186025.186058},
doi = {10.1145/186025.186058},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AfekDGMS94,
author = {Yehuda Afek and
Danny Dolev and
Eli Gafni and
Michael Merritt and
Nir Shavit},
title = {A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {939--953},
year = {1994},
url = {https://doi.org/10.1145/177492.177731},
doi = {10.1145/177492.177731},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AfekDGMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ait-KaciP94,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
title = {Functions as Passive Constraints in {LIFE}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1279--1318},
year = {1994},
url = {https://doi.org/10.1145/183432.183526},
doi = {10.1145/183432.183526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ait-KaciP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Appel94,
author = {Andrew W. Appel},
title = {Axiomatic Bootstrapping: {A} Guide for Compiler Hackers},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1699--1718},
year = {1994},
url = {https://doi.org/10.1145/197320.197336},
doi = {10.1145/197320.197336},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Appel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AptP94,
author = {Krzysztof R. Apt and
Alessandro Pellegrini},
title = {On the Occur-Check-Free Prolog Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {687--726},
year = {1994},
url = {https://doi.org/10.1145/177492.177673},
doi = {10.1145/177492.177673},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AptP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ArbabB94,
author = {Bijan Arbab and
Daniel M. Berry},
title = {Some Comments on "A Denotational Semantics for Prolog"},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {605--606},
year = {1994},
url = {https://doi.org/10.1145/177492.177605},
doi = {10.1145/177492.177605},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ArbabB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AshleyC94,
author = {J. Michael Ashley and
Charles Consel},
title = {Fixpoint Computation for Polyvariant Static Analyses of Higher-Order
Applicative Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1431--1448},
year = {1994},
url = {https://doi.org/10.1145/186025.186037},
doi = {10.1145/186025.186037},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AshleyC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ball94,
author = {Thomas Ball},
title = {Efficient Counting Program Events with Support for On-Line Queries},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1399--1410},
year = {1994},
url = {https://doi.org/10.1145/186025.186027},
doi = {10.1145/186025.186027},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ball94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BallL94,
author = {Thomas Ball and
James R. Larus},
title = {Optimally Profiling and Tracing Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1319--1360},
year = {1994},
url = {https://doi.org/10.1145/183432.183527},
doi = {10.1145/183432.183527},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BallL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BankSS94,
author = {David G. Von Bank and
Charles M. Shub and
Robert W. Sebesta},
title = {A Unified Model of Pointwise Equivalence of Procedural Computations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1842--1874},
year = {1994},
url = {https://doi.org/10.1145/197320.197402},
doi = {10.1145/197320.197402},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BankSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BatesL94,
author = {Joseph Bates and
Alon Lavie},
title = {Recognizing Substrings of LR(k) Languages in Linear Time},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {1051--1077},
year = {1994},
url = {https://doi.org/10.1145/177492.177768},
doi = {10.1145/177492.177768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BatesL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Beemster94,
author = {Marcel Beemster},
title = {Strictness Optimization for Graph Reduction Machines (Why id Might
Not Be Strict)},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1449--1466},
year = {1994},
url = {https://doi.org/10.1145/186025.186040},
doi = {10.1145/186025.186040},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Beemster94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Berzins94,
author = {Valdis Berzins},
title = {Software Merge: Semantics of Combining Changes to Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1875--1903},
year = {1994},
url = {https://doi.org/10.1145/197320.197403},
doi = {10.1145/197320.197403},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Berzins94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Bloss94,
author = {Adrienne G. Bloss},
title = {Path Analysis and the Optimization of Nonstrict Functional Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {328--369},
year = {1994},
url = {https://doi.org/10.1145/177492.177497},
doi = {10.1145/177492.177497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Bloss94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BohmO94,
author = {A. P. Wim B{\"{o}}hm and
R. R. Oldehoeft},
title = {Two Issues in Parallel Language Design},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1675--1683},
year = {1994},
url = {https://doi.org/10.1145/197320.197325},
doi = {10.1145/197320.197325},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BohmO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BossiE94,
author = {Annalisa Bossi and
Sandro Etalle},
title = {Transforming Acyclic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1081--1096},
year = {1994},
url = {https://doi.org/10.1145/183432.183434},
doi = {10.1145/183432.183434},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BossiE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BrandisM94,
author = {Marc M. Brandis and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Single-Pass Generation of Static Single-Assignment Form for Structured
Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1684--1698},
year = {1994},
url = {https://doi.org/10.1145/197320.197331},
doi = {10.1145/197320.197331},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BrandisM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BreuerB94,
author = {Peter T. Breuer and
Jonathan P. Bowen},
title = {Decompilation: The Enumeration of Types and Grammars},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1613--1647},
year = {1994},
url = {https://doi.org/10.1145/186025.186093},
doi = {10.1145/186025.186093},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BreuerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BriggsCT94,
author = {Preston Briggs and
Keith D. Cooper and
Linda Torczon},
title = {Improvements to Graph Coloring Register Allocation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {428--455},
year = {1994},
url = {https://doi.org/10.1145/177492.177575},
doi = {10.1145/177492.177575},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BriggsCT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BrogiMPT94,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
title = {Modular Logic Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1361--1398},
year = {1994},
url = {https://doi.org/10.1145/183432.183528},
doi = {10.1145/183432.183528},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BrogiMPT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyN94,
author = {Manfred Broy and
Greg Nelson},
title = {Adding Fair Choice to Dijkstra's Calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {924--938},
year = {1994},
url = {https://doi.org/10.1145/177492.177727},
doi = {10.1145/177492.177727},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CarrK94,
author = {Steve Carr and
Ken Kennedy},
title = {Improving the Ratio of Memory Operations to Floating-Point Operations
in Loops},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1768--1810},
year = {1994},
url = {https://doi.org/10.1145/197320.197366},
doi = {10.1145/197320.197366},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CarrK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CharlierH94,
author = {Baudouin Le Charlier and
Pascal Van Hentenryck},
title = {Experimental Evaluation of a Generic Abstract Interpretation Algorithm
for {PROLOG}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {1},
pages = {35--101},
year = {1994},
url = {https://doi.org/10.1145/174625.174627},
doi = {10.1145/174625.174627},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CharlierH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChoiF94,
author = {Jong{-}Deok Choi and
Jeanne Ferrante},
title = {Static Slicing in the Presence of Goto Statements},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1096--1113},
year = {1994},
url = {https://doi.org/10.1145/183432.183438},
doi = {10.1145/183432.183438},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChoiF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ClarkeGL94,
author = {Edmund M. Clarke and
Orna Grumberg and
David E. Long},
title = {Model Checking and Abstraction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1512--1542},
year = {1994},
url = {https://doi.org/10.1145/186025.186051},
doi = {10.1145/186025.186051},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ClarkeGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishFM94,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott},
title = {Suspension Analyses for Concurrent Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {649--686},
year = {1994},
url = {https://doi.org/10.1145/177492.177656},
doi = {10.1145/177492.177656},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CodishFM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Copperman94,
author = {Max Copperman},
title = {Debugging Optimized Code Without Being Misled},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {387--427},
year = {1994},
url = {https://doi.org/10.1145/177492.177517},
doi = {10.1145/177492.177517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Copperman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CrowlL94,
author = {Lawrence A. Crowl and
Thomas J. LeBlanc},
title = {Parallel Programming with Control Abstraction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {524--576},
year = {1994},
url = {https://doi.org/10.1145/177492.177584},
doi = {10.1145/177492.177584},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CrowlL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FosterT94,
author = {Ian T. Foster and
Stephen Taylor},
title = {A Compiler Approach to Scalable Concurrent-Program Design},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {577--604},
year = {1994},
url = {https://doi.org/10.1145/177492.177612},
doi = {10.1145/177492.177612},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/FosterT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FreudenbergerGL94,
author = {Stefan M. Freudenberger and
Thomas R. Gross and
P. Geoffrey Lowney},
title = {Avoidance and Suppression of Compensation Code in a Trace Scheduling
Compiler},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1156--1214},
year = {1994},
url = {https://doi.org/10.1145/183432.183446},
doi = {10.1145/183432.183446},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/FreudenbergerGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GarlanKL94,
author = {David Garlan and
Charles W. Krueger and
Barbara Staudt Lerner},
title = {TransformGen: Automating the Maintenance of Structure-Oriented Environments},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {727--774},
year = {1994},
url = {https://doi.org/10.1145/177492.177697},
doi = {10.1145/177492.177697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GarlanKL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GrumbergL94,
author = {Orna Grumberg and
David E. Long},
title = {Model Checking and Modular Verification},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {843--871},
year = {1994},
url = {https://doi.org/10.1145/177492.177725},
doi = {10.1145/177492.177725},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GrumbergL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GuptaSO94,
author = {Rajiv Gupta and
Mary Lou Soffa and
Denise Ombres},
title = {Efficient Register Allocation via Coloring Using Clique Separators},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {370--386},
year = {1994},
url = {https://doi.org/10.1145/177492.177499},
doi = {10.1145/177492.177499},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GuptaSO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HainesKMNW94,
author = {Nicholas Haines and
Darrell Kindred and
J. Gregory Morrisett and
Scott Nettles and
Jeannette M. Wing},
title = {Composing First-Class Transactions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1719--1736},
year = {1994},
url = {https://doi.org/10.1145/197320.197346},
doi = {10.1145/197320.197346},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HainesKMNW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Hannan94,
author = {John Hannan},
title = {Operational Semantics-Directed Compilers and Machine Architectures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1215--1247},
year = {1994},
url = {https://doi.org/10.1145/183432.183458},
doi = {10.1145/183432.183458},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Hannan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HarroldS94,
author = {Mary Jean Harrold and
Mary Lou Soffa},
title = {Efficient Computation of Interprocedural Definition-Use Chains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {2},
pages = {175--204},
year = {1994},
url = {https://doi.org/10.1145/174662.174663},
doi = {10.1145/174662.174663},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HarroldS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HeeringKR94,
author = {Jan Heering and
Paul Klint and
J. Rekers},
title = {Lazy and Incremental Program Generation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {1010--1023},
year = {1994},
url = {https://doi.org/10.1145/177492.177750},
doi = {10.1145/177492.177750},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HeeringKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Jagannathan94,
author = {Suresh Jagannathan},
title = {Metalevel Building Blocks for Modular Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {456--492},
year = {1994},
url = {https://doi.org/10.1145/177492.177578},
doi = {10.1145/177492.177578},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Jagannathan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Jonsson94,
author = {Bengt Jonsson},
title = {Compositional Specification and Verification of Distributed Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {2},
pages = {259--303},
year = {1994},
url = {https://doi.org/10.1145/174662.174665},
doi = {10.1145/174662.174665},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Jonsson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JoungS94,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
title = {Coordinating First-Order Multiparty Interactions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {954--985},
year = {1994},
url = {https://doi.org/10.1145/177492.177739},
doi = {10.1145/177492.177739},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JoungS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KennawayKSV94,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
title = {On the Adequacy of Graph Rewriting for Simulating Term Rewriting},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {493--523},
year = {1994},
url = {https://doi.org/10.1145/177492.177577},
doi = {10.1145/177492.177577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KennawayKSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KhedkerD94,
author = {Uday P. Khedker and
Dhananjay M. Dhamdhere},
title = {A Generalized Theory of Bit Vector Data Flow Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1472--1511},
year = {1994},
url = {https://doi.org/10.1145/186025.186043},
doi = {10.1145/186025.186043},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KhedkerD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KnoopRS94,
author = {Jens Knoop and
Oliver R{\"{u}}thing and
Bernhard Steffen},
title = {Optimal Code Motion: Theory and Practice},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1117--1155},
year = {1994},
url = {https://doi.org/10.1145/183432.183443},
doi = {10.1145/183432.183443},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KnoopRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport94,
author = {Leslie Lamport},
title = {The Temporal Logic of Actions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {872--923},
year = {1994},
url = {https://doi.org/10.1145/177492.177726},
doi = {10.1145/177492.177726},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LauferO94,
author = {Konstantin L{\"{a}}ufer and
Martin Odersky},
title = {Polymorphic Type Inference and Abstract Data Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1411--1430},
year = {1994},
url = {https://doi.org/10.1145/186025.186031},
doi = {10.1145/186025.186031},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LauferO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiskovW94,
author = {Barbara Liskov and
Jeannette M. Wing},
title = {A Behavioral Notion of Subtyping},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1811--1841},
year = {1994},
url = {https://doi.org/10.1145/197320.197383},
doi = {10.1145/197320.197383},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiskovW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MarriottSJ94,
author = {Kim Marriott and
Harald S{\o}ndergaard and
Neil D. Jones},
title = {Denotational Abstract Interpretation of Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {607--648},
year = {1994},
url = {https://doi.org/10.1145/177492.177650},
doi = {10.1145/177492.177650},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MarriottSJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MicallefK94,
author = {Josephine Micallef and
Gail E. Kaiser},
title = {Extending Attribute Grammars to Support Programming-in-the-Large},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1572--1612},
year = {1994},
url = {https://doi.org/10.1145/186025.186091},
doi = {10.1145/186025.186091},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MicallefK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Misra94,
author = {Jayadev Misra},
title = {Powerlist: {A} Structure for Parallel Recursion},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1737--1767},
year = {1994},
url = {https://doi.org/10.1145/197320.197356},
doi = {10.1145/197320.197356},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Misra94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MulkersWB94,
author = {Anne Mulkers and
William H. Winsborough and
Maurice Bruynooghe},
title = {Live-Structure Dataflow Analysis for Prolog},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {2},
pages = {205--258},
year = {1994},
url = {https://doi.org/10.1145/174662.174664},
doi = {10.1145/174662.174664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MulkersWB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PinterP94,
author = {Shlomit S. Pinter and
Ron Y. Pinter},
title = {Program Optimization and Parallelization Using Idioms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {305--327},
year = {1994},
url = {https://doi.org/10.1145/177492.177494},
doi = {10.1145/177492.177494},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PinterP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PughW94,
author = {William W. Pugh and
David Wonnacott},
title = {Static Analysis of Upper and Lower Bounds on Dependences and Parallelism},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1248--1278},
year = {1994},
url = {https://doi.org/10.1145/183432.183525},
doi = {10.1145/183432.183525},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/PughW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Purtilo94,
author = {James M. Purtilo},
title = {The {POLYLITH} Software Bus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {1},
pages = {151--174},
year = {1994},
url = {https://doi.org/10.1145/174625.174629},
doi = {10.1145/174625.174629},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Purtilo94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ramalingam94,
author = {G. Ramalingam},
title = {The Undecidability of Aliasing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1467--1471},
year = {1994},
url = {https://doi.org/10.1145/186025.186041},
doi = {10.1145/186025.186041},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ramalingam94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Rao94,
author = {Josyula R. Rao},
title = {Reasoning about Probabilistic Parallel Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {798--842},
year = {1994},
url = {https://doi.org/10.1145/177492.177724},
doi = {10.1145/177492.177724},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Rao94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ReiterB94,
author = {Michael K. Reiter and
Kenneth P. Birman},
title = {How to Securely Replicate Services},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {986--1009},
year = {1994},
url = {https://doi.org/10.1145/177492.177745},
doi = {10.1145/177492.177745},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ReiterB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Thorup94,
author = {Mikkel Thorup},
title = {Controlled Grammatic Ambiguity},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {1024--1050},
year = {1994},
url = {https://doi.org/10.1145/177492.177759},
doi = {10.1145/177492.177759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Thorup94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TickK94,
author = {Evan Tick and
Mark Korsloot},
title = {Determinacy Testing for Nondeterminate Logic Programming Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {1},
pages = {3--34},
year = {1994},
url = {https://doi.org/10.1145/174625.174626},
doi = {10.1145/174625.174626},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/TickK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Waters94,
author = {Richard C. Waters},
title = {Clich{\'{e}}-Based Program Editors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {1},
pages = {102--150},
year = {1994},
url = {https://doi.org/10.1145/174625.174628},
doi = {10.1145/174625.174628},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Waters94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Whalley94,
author = {David B. Whalley},
title = {Automatic Isolation of Compiler Errors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1648--1659},
year = {1994},
url = {https://doi.org/10.1145/186025.186103},
doi = {10.1145/186025.186103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Whalley94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Wolfe94,
author = {Michael Wolfe},
title = {The Definition of Dependence Distance},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1114--1116},
year = {1994},
url = {https://doi.org/10.1145/183432.183440},
doi = {10.1145/183432.183440},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Wolfe94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/YuR94,
author = {Lin Yu and
Daniel J. Rosenkrantz},
title = {A Linear-Time Scheme for Version Reconstruction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {775--797},
year = {1994},
url = {https://doi.org/10.1145/177492.177705},
doi = {10.1145/177492.177705},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/YuR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Zic94,
author = {John J. Zic},
title = {Time-Constrained Buffer Specifications in {CSP+T} and Timed {CSP}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1661--1674},
year = {1994},
url = {https://doi.org/10.1145/197320.197322},
doi = {10.1145/197320.197322},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Zic94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-30 14:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
