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/toplas4.bht:"
download as .bib file
@article{DBLP:journals/toplas/ArsacK82,
author = {Jacques J. Arsac and
Yves Kodratoff},
title = {Some Techniques for Recursion Removal from Recursive Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {295--322},
year = {1982},
url = {https://doi.org/10.1145/357162.357171},
doi = {10.1145/357162.357171},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ArsacK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AshcroftW82,
author = {Edward A. Ashcroft and
William W. Wadge},
title = {{R/} for Semantics},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {283--294},
year = {1982},
url = {https://doi.org/10.1145/357162.357170},
doi = {10.1145/357162.357170},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AshcroftW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Baker82,
author = {Theodore P. Baker},
title = {A One-Pass Algorithm for Overload Resolution in Ada},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {601--614},
year = {1982},
url = {https://doi.org/10.1145/69622.69623},
doi = {10.1145/69622.69623},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Baker82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BergeronD82,
author = {J. Bergeron and
A. Dubuque},
title = {A Structured {APL} System},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {585--600},
year = {1982},
url = {https://doi.org/10.1145/69622.357185},
doi = {10.1145/69622.357185},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BergeronD82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Boom82,
author = {H. J. Boom},
title = {A Weaker Precondition for Loops},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {668--677},
year = {1982},
url = {https://doi.org/10.1145/69622.357189},
doi = {10.1145/69622.357189},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Boom82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyP82,
author = {Manfred Broy and
Peter Pepper},
title = {Combining Algebraic and Algorithmic Reasoning: An Approach to the
Schorr-Waite Algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {362--381},
year = {1982},
url = {https://doi.org/10.1145/357172.357175},
doi = {10.1145/357172.357175},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DeRemerP82,
author = {Frank DeRemer and
Thomas J. Pennello},
title = {Efficient Computation of {LALR(1)} Look-Ahead Sets},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {615--649},
year = {1982},
url = {https://doi.org/10.1145/69622.357187},
doi = {10.1145/69622.357187},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DeRemerP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DewarSW82,
author = {Robert B. K. Dewar and
Micha Sharir and
Elia Weixelbaum},
title = {Transformational Derivation of a Garbage Collection Algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {650--667},
year = {1982},
url = {https://doi.org/10.1145/69622.357188},
doi = {10.1145/69622.357188},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DewarSW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Fateman82,
author = {Richard J. Fateman},
title = {High-Level Language Implications of the Proposed {IEEE} Floating-Point
Standard},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {239--257},
year = {1982},
url = {https://doi.org/10.1145/357162.357168},
doi = {10.1145/357162.357168},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Fateman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Feather82,
author = {Martin S. Feather},
title = {A System for Assisting Program Transformation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {1},
pages = {1--20},
year = {1982},
url = {https://doi.org/10.1145/357153.357154},
doi = {10.1145/357153.357154},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Feather82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Griswold82,
author = {Ralph E. Griswold},
title = {The Evaluation of Expressions in Icon},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {563--584},
year = {1982},
url = {https://doi.org/10.1145/69622.357184},
doi = {10.1145/69622.357184},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Griswold82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Hennessy82,
author = {John L. Hennessy},
title = {Symbolic Debugging of Optimized Code},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {323--344},
year = {1982},
url = {https://doi.org/10.1145/357172.357173},
doi = {10.1145/357172.357173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Hennessy82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HerlihyL82,
author = {Maurice Herlihy and
Barbara Liskov},
title = {A Value Transmission Method for Abstract Data Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {527--551},
year = {1982},
url = {https://doi.org/10.1145/69622.357182},
doi = {10.1145/69622.357182},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HerlihyL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HoffmanO82,
author = {Christoph M. Hoffmann and
Michael J. O'Donnell},
title = {Programming with Equations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {1},
pages = {83--112},
year = {1982},
url = {https://doi.org/10.1145/357153.357158},
doi = {10.1145/357153.357158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HoffmanO82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HoltCW82,
author = {Richard C. Holt and
James R. Cordy and
David B. Wortman},
title = {An Introduction to {S/SL:} Syntax/Semantic Language},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {149--178},
year = {1982},
url = {https://doi.org/10.1145/357162.357164},
doi = {10.1145/357162.357164},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HoltCW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HoltW82,
author = {Richard C. Holt and
David B. Wortman},
title = {A Model for Implementing Euclid Modules and Prototypes},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {552--562},
year = {1982},
url = {https://doi.org/10.1145/69622.357183},
doi = {10.1145/69622.357183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HoltW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LamportSP82,
author = {Leslie Lamport and
Robert E. Shostak and
Marshall C. Pease},
title = {The Byzantine Generals Problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {382--401},
year = {1982},
url = {https://doi.org/10.1145/357172.357176},
doi = {10.1145/357172.357176},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LamportSP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Mallgren82,
author = {William R. Mallgren},
title = {Formal Specification of Graphic Data Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {687--710},
year = {1982},
url = {https://doi.org/10.1145/69622.357191},
doi = {10.1145/69622.357191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Mallgren82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MartelliM82,
author = {Alberto Martelli and
Ugo Montanari},
title = {An Efficient Unification Algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {258--282},
year = {1982},
url = {https://doi.org/10.1145/357162.357169},
doi = {10.1145/357162.357169},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MartelliM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/McGraw82,
author = {James R. McGraw},
title = {The {VAL} Language: Description and Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {1},
pages = {44--82},
year = {1982},
url = {https://doi.org/10.1145/357153.357157},
doi = {10.1145/357153.357157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/McGraw82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MisraC82,
author = {Jayadev Misra and
K. Mani Chandy},
title = {Termination Detection of Diffusing Computations in Communicating Sequential
Processes},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {1},
pages = {37--43},
year = {1982},
url = {https://doi.org/10.1145/357153.357156},
doi = {10.1145/357153.357156},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MisraC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MisraC82a,
author = {Jayadev Misra and
K. Mani Chandy},
title = {A Distributed Graph Algorithm: Knot Detection},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {678--686},
year = {1982},
url = {https://doi.org/10.1145/69622.357190},
doi = {10.1145/69622.357190},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MisraC82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/OwickiL82,
author = {Susan S. Owicki and
Leslie Lamport},
title = {Proving Liveness Properties of Concurrent Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {455--495},
year = {1982},
url = {https://doi.org/10.1145/357172.357178},
doi = {10.1145/357172.357178},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/OwickiL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PaigeK82,
author = {Robert Paige and
Shaye Koenig},
title = {Finite Differencing of Computable Expressions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {402--454},
year = {1982},
url = {https://doi.org/10.1145/357172.357177},
doi = {10.1145/357172.357177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PaigeK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Peterson82,
author = {Gary L. Peterson},
title = {An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {758--762},
year = {1982},
timestamp = {Wed, 26 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Peterson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Schneider82,
author = {Fred B. Schneider},
title = {Synchronization in Distributed Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {125--148},
year = {1982},
url = {https://doi.org/10.1145/357162.357163},
doi = {10.1145/357162.357163},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Schneider82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sharir82,
author = {Micha Sharir},
title = {Some Observations Concerning Formal Differentiation of Set Theoretic
Expressions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {196--225},
year = {1982},
url = {https://doi.org/10.1145/357162.357166},
doi = {10.1145/357162.357166},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Sharir82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sipala82,
author = {Paolo Sipala},
title = {Compact Storage of Binary Trees},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {345--361},
year = {1982},
url = {https://doi.org/10.1145/357172.357174},
doi = {10.1145/357172.357174},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Sipala82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Soisalon-Soininen82,
author = {Eljas Soisalon{-}Soininen},
title = {Inessential Error Entries and Their Use in {LR} Parser Optimization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {179--195},
year = {1982},
url = {https://doi.org/10.1145/357162.357165},
doi = {10.1145/357162.357165},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Soisalon-Soininen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TanenbaumSS82,
author = {Andrew S. Tanenbaum and
Hans van Staveren and
Johan W. Stevenson},
title = {Using Peephole Optimization on Intermediate Code},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {1},
pages = {21--36},
year = {1982},
url = {https://doi.org/10.1145/357153.357155},
doi = {10.1145/357153.357155},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/TanenbaumSS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ThatcherWW82,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Data Type Specification: Parameterization and the Power of Specification
Techniques},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {711--732},
year = {1982},
url = {https://doi.org/10.1145/69622.357192},
doi = {10.1145/69622.357192},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ThatcherWW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Wand82,
author = {Mitchell Wand},
title = {Deriving Target Code as a Representation of Continuation Semantics},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {496--517},
year = {1982},
url = {https://doi.org/10.1145/357172.357179},
doi = {10.1145/357172.357179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Wand82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Wetherell82,
author = {Charles S. Wetherell},
title = {Error Data Values in the Data-Flow Language {VAL}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
pages = {226--238},
year = {1982},
url = {https://doi.org/10.1145/357162.357167},
doi = {10.1145/357162.357167},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Wetherell82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Williams82,
author = {M. Howard Williams},
title = {A Flexible Notation for Syntactic Definitions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {1},
pages = {113--119},
year = {1982},
url = {https://doi.org/10.1145/357153.357159},
doi = {10.1145/357153.357159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Williams82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Williams82a,
author = {John H. Williams},
title = {On the Development of the Algebra of Functional Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {733--757},
year = {1982},
url = {https://doi.org/10.1145/69622.357193},
doi = {10.1145/69622.357193},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Williams82a.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-03 04:36 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:
