default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/toplas/toplas11.bht:"
download as .bib file
@article{DBLP:journals/toplas/AhoGT89,
author = {Alfred V. Aho and
Mahadevan Ganapathi and
Steven W. K. Tjiang},
title = {Code Generation Using Tree Matching and Dynamic Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {491--516},
year = {1989},
url = {https://doi.org/10.1145/69558.75700},
doi = {10.1145/69558.75700},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/AhoGT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ait-KaciBLN89,
author = {Hassan A{\"{\i}}t{-}Kaci and
Robert S. Boyer and
Patrick Lincoln and
Roger Nasr},
title = {Efficient Implementation of Lattice Operations},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {115--146},
year = {1989},
url = {https://doi.org/10.1145/59287.59293},
doi = {10.1145/59287.59293},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ait-KaciBLN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AlpernS89,
author = {Bowen Alpern and
Fred B. Schneider},
title = {Verifying Temporal Properties without Temporal Logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {147--167},
year = {1989},
url = {https://doi.org/10.1145/59287.62028},
doi = {10.1145/59287.62028},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AlpernS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Anger89,
author = {Frank D. Anger},
title = {On Lamport's Interprocessor Communication Model},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {3},
pages = {404--417},
year = {1989},
url = {https://doi.org/10.1145/65979.65982},
doi = {10.1145/65979.65982},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Anger89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ArvindNP89,
author = {Arvind and
Rishiyur S. Nikhil and
Keshav Pingali},
title = {I-Structures: Data Structures for Parallel Computing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {598--632},
year = {1989},
url = {https://doi.org/10.1145/69558.69562},
doi = {10.1145/69558.69562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ArvindNP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Bagrodia89,
author = {Rajive L. Bagrodia},
title = {Synchronization of Asynchronous Processes in {CSP}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {585--597},
year = {1989},
url = {https://doi.org/10.1145/69558.69561},
doi = {10.1145/69558.69561},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Bagrodia89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BarbosaG89,
author = {Valmir Carneiro Barbosa and
Eli Gafni},
title = {Concurrency in Heavily Loaded Neighborhood-Constrained Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {562--584},
year = {1989},
url = {https://doi.org/10.1145/69558.69560},
doi = {10.1145/69558.69560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BarbosaG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BernsteinG89,
author = {David Bernstein and
Izidor Gertner},
title = {Scheduling Expressions on a Pipelined Processor with a Maximal Delay
of One Cycle},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {57--66},
year = {1989},
url = {https://doi.org/10.1145/59287.59291},
doi = {10.1145/59287.59291},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BernsteinG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Brent89,
author = {Richard P. Brent},
title = {Efficient Implementation of the First-Fit Strategy for Dynamic Storage
Allocation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {3},
pages = {388--403},
year = {1989},
url = {https://doi.org/10.1145/65979.65981},
doi = {10.1145/65979.65981},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Brent89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BurnsP89,
author = {James E. Burns and
Jan K. Pachl},
title = {Uniform Self-Stabilizing Rings},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {2},
pages = {330--344},
year = {1989},
url = {https://doi.org/10.1145/63264.63403},
doi = {10.1145/63264.63403},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BurnsP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Cameron89,
author = {Robert D. Cameron},
title = {Efficient High-Level Iteration with Accumulators},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {2},
pages = {194--211},
year = {1989},
url = {https://doi.org/10.1145/63264.63401},
doi = {10.1145/63264.63401},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Cameron89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CarchioloSFP89,
author = {Vincenza Carchiolo and
Antonella Di Stefano and
Alberto Faro and
Giuseppe Pappalardo},
title = {{ECCS} and {LIPS:} Two Languages for {OSI} Systems Specification and
Verification},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {2},
pages = {284--329},
year = {1989},
url = {https://doi.org/10.1145/63264.63402},
doi = {10.1145/63264.63402},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CarchioloSFP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Debray89,
author = {Saumya K. Debray},
title = {Static Inference of Modes and Data Dependencies in Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {3},
pages = {418--450},
year = {1989},
url = {https://doi.org/10.1145/65979.65983},
doi = {10.1145/65979.65983},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Debray89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DebrayW89,
author = {Saumya K. Debray and
David Scott Warren},
title = {Functional Computations in Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {3},
pages = {451--481},
year = {1989},
url = {https://doi.org/10.1145/65979.65984},
doi = {10.1145/65979.65984},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DebrayW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FischerLBB89,
author = {Michael J. Fischer and
Nancy A. Lynch and
James E. Burns and
Allan Borodin},
title = {Distributed {FIFO} Allocation of Identical Resources Using Small Shared
Space},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {90--114},
year = {1989},
url = {https://doi.org/10.1145/59287.59292},
doi = {10.1145/59287.59292},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FischerLBB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HorwitzPR89,
author = {Susan Horwitz and
Jan F. Prins and
Thomas W. Reps},
title = {Integrating Noninterfering Versions of Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {3},
pages = {345--387},
year = {1989},
url = {https://doi.org/10.1145/65979.65980},
doi = {10.1145/65979.65980},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/HorwitzPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Kaiser89,
author = {Gail E. Kaiser},
title = {Incremental Dynamic Semantics for Language-Based Programming Environments},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {2},
pages = {169--193},
year = {1989},
url = {https://doi.org/10.1145/63264.63400},
doi = {10.1145/63264.63400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Kaiser89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LaLonde89,
author = {Wilf R. LaLonde},
title = {Designing Families of Data Types Using Exemplars},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {2},
pages = {212--248},
year = {1989},
url = {https://doi.org/10.1145/63264.63265},
doi = {10.1145/63264.63265},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LaLonde89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MyersM89,
author = {Eugene W. Myers and
Webb Miller},
title = {Row Replacement Algorithms for Screen Editors},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {33--56},
year = {1989},
url = {https://doi.org/10.1145/59287.59290},
doi = {10.1145/59287.59290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MyersM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Nelson89,
author = {Greg Nelson},
title = {A Generalization of Dijkstra's Calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {517--561},
year = {1989},
url = {https://doi.org/10.1145/69558.69559},
doi = {10.1145/69558.69559},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Nelson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NicholsonF89,
author = {Tim Nicholson and
Norman Y. Foo},
title = {A Denotational Semantics for Prolog},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {650--665},
year = {1989},
url = {https://doi.org/10.1145/69558.69564},
doi = {10.1145/69558.69564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/NicholsonF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sijtsma89,
author = {Ben A. Sijtsma},
title = {On the Productivity of Recursive List Definitions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {633--649},
year = {1989},
url = {https://doi.org/10.1145/69558.69563},
doi = {10.1145/69558.69563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Sijtsma89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sorkin89,
author = {Arthur Sorkin},
title = {Some Comments on ''A Solution to a Problem with Morel and Renvoise's
'Global Optimization by Suppression of Partial Redundancies'},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {4},
pages = {666--668},
year = {1989},
url = {https://doi.org/10.1145/69558.214513},
doi = {10.1145/69558.214513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Sorkin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SteenkisteH89,
author = {Peter Steenkiste and
John L. Hennessy},
title = {A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness
for Lisp},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {1--32},
year = {1989},
url = {https://doi.org/10.1145/59287.59289},
doi = {10.1145/59287.59289},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SteenkisteH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Steensgaard-Madsen89,
author = {J{\o}rgen Steensgaard{-}Madsen},
title = {Type Representation of Objects by Functions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {1},
pages = {67--89},
year = {1989},
url = {https://doi.org/10.1145/59287.77345},
doi = {10.1145/59287.77345},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Steensgaard-Madsen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Weihl89,
author = {William E. Weihl},
title = {Local Atomicity Properties: Modular Concurrency Control for Abstract
Data Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {2},
pages = {249--283},
year = {1989},
url = {https://doi.org/10.1145/63264.63518},
doi = {10.1145/63264.63518},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Weihl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-05 06:48 CET 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:
