Search dblp for Publications

export results for "toc:db/journals/toplas/toplas15.bht:"

 download as .bib file

@article{DBLP:journals/toplas/AbadiBLP93,
  author       = {Mart{\'{\i}}n Abadi and
                  Michael Burrows and
                  Butler W. Lampson and
                  Gordon D. Plotkin},
  title        = {A Calculus for Access Control in Distributed Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {706--734},
  year         = {1993},
  url          = {https://doi.org/10.1145/155183.155225},
  doi          = {10.1145/155183.155225},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AbadiBLP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/AbadiL93,
  author       = {Mart{\'{\i}}n Abadi and
                  Leslie Lamport},
  title        = {Composing Specifications},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {73--132},
  year         = {1993},
  url          = {https://doi.org/10.1145/151646.151649},
  doi          = {10.1145/151646.151649},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/AbadiL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/AfekBM93,
  author       = {Yehuda Afek and
                  Geoffrey M. Brown and
                  Michael Merritt},
  title        = {Lazy Caching},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {182--205},
  year         = {1993},
  url          = {https://doi.org/10.1145/151646.151651},
  doi          = {10.1145/151646.151651},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AfekBM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/AmadioC93,
  author       = {Roberto M. Amadio and
                  Luca Cardelli},
  title        = {Subtyping Recursive Types},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {575--631},
  year         = {1993},
  url          = {https://doi.org/10.1145/155183.155231},
  doi          = {10.1145/155183.155231},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AmadioC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BarbutiGL93,
  author       = {Roberto Barbuti and
                  Roberto Giacobazzi and
                  Giorgio Levi},
  title        = {A General Framework for Semantics-Based Bottom-Up Abstract Interpretation
                  of Logic Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {133--181},
  year         = {1993},
  url          = {https://doi.org/10.1145/151646.151650},
  doi          = {10.1145/151646.151650},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BarbutiGL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BowmanDP93,
  author       = {Mic Bowman and
                  Saumya K. Debray and
                  Larry L. Peterson},
  title        = {Reasoning About Naming Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {5},
  pages        = {795--825},
  year         = {1993},
  url          = {https://doi.org/10.1145/161468.161471},
  doi          = {10.1145/161468.161471},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BowmanDP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BurkeT93,
  author       = {Michael G. Burke and
                  Linda Torczon},
  title        = {Interprocedural Optimization: Eliminating Unnecessary Recompilation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {3},
  pages        = {367--399},
  year         = {1993},
  url          = {https://doi.org/10.1145/169683.169678},
  doi          = {10.1145/169683.169678},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BurkeT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Chatterjee93,
  author       = {Siddhartha Chatterjee},
  title        = {Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {3},
  pages        = {400--462},
  year         = {1993},
  url          = {https://doi.org/10.1145/169683.174152},
  doi          = {10.1145/169683.174152},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Chatterjee93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/CleavelandPS93,
  author       = {Rance Cleaveland and
                  Joachim Parrow and
                  Bernhard Steffen},
  title        = {The Concurrency Workbench: {A} Semantics-Based Tool for the Verification
                  of Concurrent Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {36--72},
  year         = {1993},
  url          = {https://doi.org/10.1145/151646.151648},
  doi          = {10.1145/151646.151648},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/CleavelandPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ConselK93,
  author       = {Charles Consel and
                  Siau{-}Cheng Khoo},
  title        = {Parameterized Partial Evaluation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {3},
  pages        = {463--493},
  year         = {1993},
  url          = {https://doi.org/10.1145/169683.174155},
  doi          = {10.1145/169683.174155},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ConselK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/CoppermanM93,
  author       = {Max Copperman and
                  Charles E. McDowell},
  title        = {A Further Note on Hennessy's "Symbolic Debugging of Optimized Code"},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {357--365},
  year         = {1993},
  url          = {https://doi.org/10.1145/169701.214526},
  doi          = {10.1145/169701.214526},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/CoppermanM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DebrayL93,
  author       = {Saumya K. Debray and
                  Nai{-}Wei Lin},
  title        = {Cost Analysis of Logic Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {5},
  pages        = {826--875},
  year         = {1993},
  url          = {https://doi.org/10.1145/161468.161472},
  doi          = {10.1145/161468.161472},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DebrayL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DhamdhereP93,
  author       = {Dhananjay M. Dhamdhere and
                  Harish Patil},
  title        = {An Elimination Algorithm for Bidirectional Data Flow Problems Using
                  Edge Placement},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {312--336},
  year         = {1993},
  url          = {https://doi.org/10.1145/169701.169684},
  doi          = {10.1145/169701.169684},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DhamdhereP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Fidge93,
  author       = {Colin J. Fidge},
  title        = {A Formal Definition of Priority in {CSP}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {681--705},
  year         = {1993},
  url          = {https://doi.org/10.1145/155183.155221},
  doi          = {10.1145/155183.155221},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Fidge93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FinlayA93,
  author       = {Alan Finlay and
                  Lloyd Allison},
  title        = {A Correction to the Denotational Semantics for the Prolog of Nicholson
                  and Foo},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {206--208},
  year         = {1993},
  url          = {https://doi.org/10.1145/151646.151652},
  doi          = {10.1145/151646.151652},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/FinlayA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Ghosh93,
  author       = {Sukumar Ghosh},
  title        = {An Alternative Solution to a Problem on Self-Stabilization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {735--742},
  year         = {1993},
  url          = {https://doi.org/10.1145/155183.155228},
  doi          = {10.1145/155183.155228},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Ghosh93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GuptaJ93,
  author       = {Gopal Gupta and
                  Bharat Jayaraman},
  title        = {Analysis of Or-Parallel Execution Models},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {659--680},
  year         = {1993},
  url          = {https://doi.org/10.1145/155183.155220},
  doi          = {10.1145/155183.155220},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GuptaJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HarperM93,
  author       = {Robert Harper and
                  John C. Mitchell},
  title        = {On the Type Structure of Standard {ML}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {211--252},
  year         = {1993},
  url          = {https://doi.org/10.1145/169701.169696},
  doi          = {10.1145/169701.169696},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HarperM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Henglein93,
  author       = {Fritz Henglein},
  title        = {Type Inference with Polymorphic Recursion},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {253--289},
  year         = {1993},
  url          = {https://doi.org/10.1145/169701.169692},
  doi          = {10.1145/169701.169692},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Henglein93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Herlihy93,
  author       = {Maurice Herlihy},
  title        = {A Methodology for Implementing Highly Concurrent Objects},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {5},
  pages        = {745--770},
  year         = {1993},
  url          = {https://doi.org/10.1145/161468.161469},
  doi          = {10.1145/161468.161469},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Herlihy93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Huang93,
  author       = {Shing{-}Tsaan Huang},
  title        = {Leader Election in Uniform Rings},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {3},
  pages        = {563--573},
  year         = {1993},
  url          = {https://doi.org/10.1145/169683.174161},
  doi          = {10.1145/169683.174161},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Huang93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Katz93,
  author       = {Shmuel Katz},
  title        = {A Superimposition Control Construct for Distributed Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {337--356},
  year         = {1993},
  url          = {https://doi.org/10.1145/169701.169682},
  doi          = {10.1145/169701.169682},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Katz93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KfouryTU93,
  author       = {A. J. Kfoury and
                  Jerzy Tiuryn and
                  Pawel Urzyczyn},
  title        = {Type Reconstruction in the Presence of Polymorphic Recursion},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {290--311},
  year         = {1993},
  url          = {https://doi.org/10.1145/169701.169687},
  doi          = {10.1145/169701.169687},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/KfouryTU93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LeiventW93,
  author       = {Jonathan I. Leivent and
                  Ronald J. Watro},
  title        = {Mathematical Foundations of Time Warp Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {5},
  pages        = {771--794},
  year         = {1993},
  url          = {https://doi.org/10.1145/161468.161470},
  doi          = {10.1145/161468.161470},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LeiventW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Lin93,
  author       = {Huimin Lin},
  title        = {Procedural Implementation of Algebraic Specification},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {5},
  pages        = {876--895},
  year         = {1993},
  url          = {https://doi.org/10.1145/161468.161473},
  doi          = {10.1145/161468.161473},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Lin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Odersky93,
  author       = {Martin Odersky},
  title        = {Defining Context-Dependent Syntax Without Using Contexts},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {3},
  pages        = {535--562},
  year         = {1993},
  url          = {https://doi.org/10.1145/169683.174159},
  doi          = {10.1145/169683.174159},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Odersky93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/PalemS93,
  author       = {Krishna V. Palem and
                  Barbara B. Simons},
  title        = {Scheduling Time-Critical Instructions on {RISC} Machines},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {4},
  pages        = {632--658},
  year         = {1993},
  url          = {https://doi.org/10.1145/155183.155190},
  doi          = {10.1145/155183.155190},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/PalemS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RichardsonCS93,
  author       = {Joel E. Richardson and
                  Michael J. Carey and
                  Daniel T. Schuh},
  title        = {The Design of the {E} Programming Language},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {3},
  pages        = {494--534},
  year         = {1993},
  url          = {https://doi.org/10.1145/169683.174157},
  doi          = {10.1145/169683.174157},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RichardsonCS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/TelM93,
  author       = {Gerard Tel and
                  Friedemann Mattern},
  title        = {The Derivation of Distributed Termination Detection Algorithms from
                  Garbage Collection Schemes},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {1--35},
  year         = {1993},
  url          = {https://doi.org/10.1145/151646.151647},
  doi          = {10.1145/151646.151647},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/TelM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.