Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/toplas/AndrewsOCENPT88,
  author       = {Gregory R. Andrews and
                  Ronald A. Olsson and
                  Michael H. Coffin and
                  Irving Elshoff and
                  Kelvin D. Nilsen and
                  Titus D. M. Purdin and
                  Gregg M. Townsend},
  title        = {An Overview of the {SR} Language and Implementation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {51--86},
  year         = {1988},
  url          = {https://doi.org/10.1145/42192.42324},
  doi          = {10.1145/42192.42324},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AndrewsOCENPT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BackK88,
  author       = {Ralph{-}Johan Back and
                  Reino Kurki{-}Suonio},
  title        = {Distributed Cooperation with Action Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {513--554},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.48023},
  doi          = {10.1145/48022.48023},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BackK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BermudezS88,
  author       = {Manuel E. Bermudez and
                  Karl M. Schimpf},
  title        = {On the (non-) Relationship between {SLR(1)} and {NQLALR(1)} Grammars},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {338--342},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42276},
  doi          = {10.1145/42190.42276},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BermudezS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Bos88,
  author       = {Jan van den Bos},
  title        = {Abstract Interaction Tools: {A} Language for User Interface Management
                  Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {215--247},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42191},
  doi          = {10.1145/42190.42191},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Bos88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Boute88,
  author       = {Raymond T. Boute},
  title        = {System Semantics: Principles, Applications, and Implementation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {118--155},
  year         = {1988},
  url          = {https://doi.org/10.1145/42192.45067},
  doi          = {10.1145/42192.45067},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Boute88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DeganoMM88,
  author       = {Pierpaolo Degano and
                  Stefano Mannucci and
                  Bruno Mojana},
  title        = {Efficient Incremental {LR} Parsing for Syntax-Directed Editors},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {345--373},
  year         = {1988},
  url          = {https://doi.org/10.1145/44501.214503},
  doi          = {10.1145/44501.214503},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DeganoMM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DillonAW88,
  author       = {Laura K. Dillon and
                  George S. Avrunin and
                  Jack C. Wileden},
  title        = {Constrained Expressions: Toward Broad Applicability of Analysis Methods
                  for Distributed Software Systems},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {374--402},
  year         = {1988},
  url          = {https://doi.org/10.1145/44501.44502},
  doi          = {10.1145/44501.44502},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DillonAW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DrechslerS88,
  author       = {Karl{-}Heinz Drechsler and
                  Manfred P. Stadel},
  title        = {A Solution to a Problem with Morel and Renvoise's "Global Optimization
                  by Suppression of Partial Redundancies"},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {635--640},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.214509},
  doi          = {10.1145/48022.214509},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DrechslerS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GreenbergLO88,
  author       = {Albert G. Greenberg and
                  Boris D. Lubachevsky and
                  Andrew M. Odlyzko},
  title        = {Simple, Efficient Asynchronous Parallel Algorithms for Maximization},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {313--337},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42278},
  doi          = {10.1145/42190.42278},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/GreenbergLO88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Hesselink88,
  author       = {Wim H. Hesselink},
  title        = {A Mathematical Approach to Nondeterminism in Data Types},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {87--117},
  year         = {1988},
  url          = {https://doi.org/10.1145/42192.42194},
  doi          = {10.1145/42192.42194},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Hesselink88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Hilfinger88,
  author       = {Paul N. Hilfinger},
  title        = {An Ada Package for Dimensional Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {189--203},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42346},
  doi          = {10.1145/42190.42346},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Hilfinger88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/InoueSY88,
  author       = {Katsuro Inoue and
                  Hiroyuki Seki and
                  Hikaru Yagi},
  title        = {Analysis of Functional Programs to Detect Run-Time Garbage Cells},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {555--578},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.48025},
  doi          = {10.1145/48022.48025},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/InoueSY88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KennawayS88,
  author       = {Richard Kennaway and
                  M. Ronan Sleep},
  title        = {Director Strings as Combinators},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {602--626},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.48026},
  doi          = {10.1145/48022.48026},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/KennawayS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/KruskalRS88,
  author       = {Clyde P. Kruskal and
                  Larry Rudolph and
                  Marc Snir},
  title        = {Efficient Synchronization on Multiprocessors with Shared Memory},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {579--601},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.48024},
  doi          = {10.1145/48022.48024},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/KruskalRS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Lamport88,
  author       = {Leslie Lamport},
  title        = {Control Predicates are Better than Dummy Variables for Reasoning about
                  Program Control},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {267--281},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42348},
  doi          = {10.1145/42190.42348},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Lamport88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MauneyF88,
  author       = {Jon Mauney and
                  Charles N. Fischer},
  title        = {Determining the Extent of Lookahead in Syntactic Error Repair},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {456--469},
  year         = {1988},
  url          = {https://doi.org/10.1145/44501.44505},
  doi          = {10.1145/44501.44505},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MauneyF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Metayer88,
  author       = {Daniel Le M{\'{e}}tayer},
  title        = {{ACE:} An Automatic Complexity Evaluator},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {248--266},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42347},
  doi          = {10.1145/42190.42347},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Metayer88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MitchellP88,
  author       = {John C. Mitchell and
                  Gordon D. Plotkin},
  title        = {Abstract Types Have Existential Type},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {470--502},
  year         = {1988},
  url          = {https://doi.org/10.1145/44501.45065},
  doi          = {10.1145/44501.45065},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MitchellP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Morgan88,
  author       = {Carroll Morgan},
  title        = {The Specification Statement},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {403--419},
  year         = {1988},
  url          = {https://doi.org/10.1145/44501.44503},
  doi          = {10.1145/44501.44503},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Morgan88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/MurphyS88,
  author       = {Sandra L. Murphy and
                  A. Udaya Shankar},
  title        = {A Note on the Drinking Philosophers Problem},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {178--188},
  year         = {1988},
  timestamp    = {Wed, 26 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/MurphyS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/OlderogA88,
  author       = {Ernst{-}R{\"{u}}diger Olderog and
                  Krzysztof R. Apt},
  title        = {Fairness in Parallel Programs: The Transformational Approach},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {420--455},
  year         = {1988},
  url          = {https://doi.org/10.1145/44501.44504},
  doi          = {10.1145/44501.44504},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/OlderogA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ReedY88,
  author       = {Joylyn Reed and
                  Raymond T. Yeh},
  title        = {Specification and Verification of Liveness Properties of Cyclic, Concurrent
                  Processes},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {156--177},
  year         = {1988},
  url          = {https://doi.org/10.1145/42192.42195},
  doi          = {10.1145/42192.42195},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ReedY88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/RyderP88,
  author       = {Barbara G. Ryder and
                  Marvin C. Paull},
  title        = {Incremental Data-Flow Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {1--50},
  year         = {1988},
  url          = {https://doi.org/10.1145/42192.42193},
  doi          = {10.1145/42192.42193},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/RyderP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/SchwankeK88,
  author       = {Robert W. Schwanke and
                  Gail E. Kaiser},
  title        = {Smarter Recompilation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {627--632},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.214505},
  doi          = {10.1145/48022.214505},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/SchwankeK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/ShashaS88,
  author       = {Dennis E. Shasha and
                  Marc Snir},
  title        = {Efficient and Correct Execution of Parallel Programs that Share Memory},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {282--312},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.42277},
  doi          = {10.1145/42190.42277},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/ShashaS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Tichy88,
  author       = {Walter F. Tichy},
  title        = {Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation"},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {633--634},
  year         = {1988},
  url          = {https://doi.org/10.1145/48022.214507},
  doi          = {10.1145/48022.214507},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/Tichy88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/Wirth88,
  author       = {Niklaus Wirth},
  title        = {Type Extensions},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {10},
  number       = {2},
  pages        = {204--214},
  year         = {1988},
  url          = {https://doi.org/10.1145/42190.46167},
  doi          = {10.1145/42190.46167},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Wirth88.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.