Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/toplas/AllenK87,
  author       = {Randy Allen and
                  Ken Kennedy},
  title        = {Automatic Translation of Fortran Programs to Vector Form},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {491--542},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.29875},
  doi          = {10.1145/29873.29875},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AllenK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Anson87,
  author       = {Ed Anson},
  title        = {A Generalized Iterative Construct and Its Semantics},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {567--581},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.30391},
  doi          = {10.1145/29873.30391},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Anson87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Banerjee87,
  author       = {Debasish Banerjee},
  title        = {A Methodology for Synthesis of Recursive Functional Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {441--462},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.24071},
  doi          = {10.1145/24039.24071},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Banerjee87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BicL87,
  author       = {Lubomir Bic and
                  Craig A. Lee},
  title        = {A Data-Driven Model for a Subset of Logic Programming},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {618--645},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.31333},
  doi          = {10.1145/29873.31333},
  timestamp    = {Sun, 19 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BicL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BroyWP87,
  author       = {Manfred Broy and
                  Martin Wirsing and
                  Peter Pepper},
  title        = {On the Algebraic Definition of Programming Languages},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {54--99},
  year         = {1987},
  url          = {https://doi.org/10.1145/9758.10501},
  doi          = {10.1145/9758.10501},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BroyWP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BurkeF87,
  author       = {Michael G. Burke and
                  Gerald A. Fisher},
  title        = {A Practical Method for {LR} and {LL} Syntactic Error Diagnosis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {164--197},
  year         = {1987},
  url          = {https://doi.org/10.1145/22719.22720},
  doi          = {10.1145/22719.22720},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BurkeF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/CarsonR87,
  author       = {Scott D. Carson and
                  Paul F. Reynolds Jr.},
  title        = {The Geometry of Semaphore Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {25--53},
  year         = {1987},
  url          = {https://doi.org/10.1145/9758.9759},
  doi          = {10.1145/9758.9759},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/CarsonR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Charlesworth87,
  author       = {Arthur Charlesworth},
  title        = {The Multiway Rendezvous},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {350--366},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.24050},
  doi          = {10.1145/24039.24050},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Charlesworth87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/CohenH87,
  author       = {Jacques Cohen and
                  Timothy J. Hickey},
  title        = {Parsing and Compiling Using Prolog},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {125--163},
  year         = {1987},
  url          = {https://doi.org/10.1145/22719.22946},
  doi          = {10.1145/22719.22946},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/CohenH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/CunyS87,
  author       = {Janice E. Cuny and
                  Lawrence Snyder},
  title        = {Conversion from Data-Driven to Synchronous Execution in Loop Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {599--617},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.31334},
  doi          = {10.1145/29873.31334},
  timestamp    = {Mon, 29 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/CunyS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Feather87,
  author       = {Martin S. Feather},
  title        = {Language Support for the Specification and Development of Composite
                  Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {198--234},
  year         = {1987},
  url          = {https://doi.org/10.1145/22719.22947},
  doi          = {10.1145/22719.22947},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Feather87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FerranteOW87,
  author       = {Jeanne Ferrante and
                  Karl J. Ottenstein and
                  Joe D. Warren},
  title        = {The Program Dependence Graph and Its Use in Optimization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {319--349},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.24041},
  doi          = {10.1145/24039.24041},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/FerranteOW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FinkelM87,
  author       = {Raphael A. Finkel and
                  Udi Manber},
  title        = {{DIB} - {A} Distributed Implementation of Backtracking},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {235--256},
  year         = {1987},
  url          = {https://doi.org/10.1145/22719.24067},
  doi          = {10.1145/22719.24067},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/FinkelM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/FraserM87,
  author       = {Christopher W. Fraser and
                  Eugene W. Myers},
  title        = {An Editor for Revision Control},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {277--295},
  year         = {1987},
  url          = {https://doi.org/10.1145/22719.22948},
  doi          = {10.1145/22719.22948},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/FraserM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HaynesF87,
  author       = {Christopher T. Haynes and
                  Daniel P. Friedman},
  title        = {Embedding Continuations in Procedural Objects},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {582--598},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.30392},
  doi          = {10.1145/29873.30392},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HaynesF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Holt87,
  author       = {Richard C. Holt},
  title        = {Data Descriptors: {A} Compile-Time Model of Data and Addressing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {367--389},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.24051},
  doi          = {10.1145/24039.24051},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Holt87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Lamb87,
  author       = {David Alex Lamb},
  title        = {{IDL:} Sharing Intermediate Representations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {297--318},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.24040},
  doi          = {10.1145/24039.24040},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Lamb87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Loeckx87,
  author       = {Jacques Loeckx},
  title        = {Algorithmic Specifications: {A} Constructive Specification Method
                  for Abstract Data Types},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {646--685},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.30399},
  doi          = {10.1145/29873.30399},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Loeckx87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MuellerV87,
  author       = {Robert A. Mueller and
                  Joseph Varghese},
  title        = {Retargetable Microcode Synthesis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {257--276},
  year         = {1987},
  url          = {https://doi.org/10.1145/22719.23717},
  doi          = {10.1145/22719.23717},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MuellerV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RepsD87,
  author       = {Thomas W. Reps and
                  Alan J. Demers},
  title        = {Sublinear-Space Evaluation Algorithms for Attribute Grammars},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {408--440},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.214529},
  doi          = {10.1145/24039.214529},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RepsD87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RosenkrantzH87,
  author       = {Daniel J. Rosenkrantz and
                  Harry B. Hunt III},
  title        = {Efficient Algorithms for Automatic Construction and Compactification
                  of Parsing Grammars},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {543--566},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.29876},
  doi          = {10.1145/29873.29876},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RosenkrantzH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Sokolowski87,
  author       = {Stefan Sokolowski},
  title        = {Soundness of Hoare's Logic: An Automated Proof Using {LCF}},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {100--120},
  year         = {1987},
  url          = {https://doi.org/10.1145/9758.11326},
  doi          = {10.1145/9758.11326},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Sokolowski87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Sonnenschein87,
  author       = {Michael Sonnenschein},
  title        = {Graph Translation Schemes to Generate Compiler Parts},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {4},
  pages        = {473--490},
  year         = {1987},
  url          = {https://doi.org/10.1145/29873.29874},
  doi          = {10.1145/29873.29874},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Sonnenschein87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Wing87,
  author       = {Jeannette M. Wing},
  title        = {Writing Larch Interface Language Specifications},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {1},
  pages        = {1--24},
  year         = {1987},
  url          = {https://doi.org/10.1145/9758.10500},
  doi          = {10.1145/9758.10500},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Wing87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/YeminiB87,
  author       = {Shaula Yemini and
                  Daniel M. Berry},
  title        = {An Axiomatic Treatment of Exception Handling in an Expression-Oriented
                  Language},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {390--407},
  year         = {1987},
  url          = {https://doi.org/10.1145/24039.24052},
  doi          = {10.1145/24039.24052},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/YeminiB87.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.