default search action
Search dblp for Publications
export results for "toc:db/journals/cl/cl11.bht:"
@article{DBLP:journals/cl/Bailes86, author = {Paul A. Bailes}, title = {Static Checking of Variable Handling in Dijkstra's Guarded Commands Language}, journal = {Comput. Lang.}, volume = {11}, number = {3/4}, pages = {123--142}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90006-8}, doi = {10.1016/0096-0551(86)90006-8}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/Bailes86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BalT86, author = {Henri E. Bal and Andrew S. Tanenbaum}, title = {Language- and Machine-Independent Global Optimization on Intermediate Code}, journal = {Comput. Lang.}, volume = {11}, number = {2}, pages = {105--121}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90004-4}, doi = {10.1016/0096-0551(86)90004-4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/BalT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/BryantEH86, author = {Barrett R. Bryant and Balanjaninath Edupuganty and Lee S. Hull}, title = {Two-Level Grammar as an Implementable Metalanguage for Axiomatic Semantics}, journal = {Comput. Lang.}, volume = {11}, number = {3/4}, pages = {173--191}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90010-X}, doi = {10.1016/0096-0551(86)90010-X}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/BryantEH86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/DonnanH86, author = {G. Donnan and M. Elizabeth C. Hull}, title = {On Processes, Synchronization and Redundant Code in Communicating Sequential Processes}, journal = {Comput. Lang.}, volume = {11}, number = {3/4}, pages = {155--160}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90008-1}, doi = {10.1016/0096-0551(86)90008-1}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/DonnanH86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/FelleisenF86, author = {Matthias Felleisen and Daniel P. Friedman}, title = {A Closer Look at Export and Import Statements}, journal = {Comput. Lang.}, volume = {11}, number = {1}, pages = {29--37}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90015-9}, doi = {10.1016/0096-0551(86)90015-9}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/FelleisenF86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/Fleck86, author = {Arthur C. Fleck}, title = {Structuring FP-Style Functional Programs}, journal = {Comput. Lang.}, volume = {11}, number = {2}, pages = {55--63}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90001-9}, doi = {10.1016/0096-0551(86)90001-9}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/Fleck86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/GehlotS86, author = {Vijay Gehlot and Y. N. Srikant}, title = {An Interpreter for {SLIPS} - An Applicative Language Based on Lambda-Calculus}, journal = {Comput. Lang.}, volume = {11}, number = {1}, pages = {1--13}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90013-5}, doi = {10.1016/0096-0551(86)90013-5}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/GehlotS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/HaynesFW86, author = {Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand}, title = {Obtaining Coroutines with Continuations}, journal = {Comput. Lang.}, volume = {11}, number = {3/4}, pages = {143--153}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90007-X}, doi = {10.1016/0096-0551(86)90007-X}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/HaynesFW86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/LozinskiiN86, author = {Eliezer L. Lozinskii and Sergei Nirenburg}, title = {Parsing in Parallel}, journal = {Comput. Lang.}, volume = {11}, number = {1}, pages = {39--51}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90016-0}, doi = {10.1016/0096-0551(86)90016-0}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/LozinskiiN86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/Michaelson86, author = {Greg Michaelson}, title = {Interpreters From Functions and Grammars}, journal = {Comput. Lang.}, volume = {11}, number = {2}, pages = {85--104}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90003-2}, doi = {10.1016/0096-0551(86)90003-2}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/Michaelson86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/PeterssonS86, author = {Kent Petersson and Jan M. Smith}, title = {Program Derivation in Type Theory: {A} Partitioning Problem}, journal = {Comput. Lang.}, volume = {11}, number = {3/4}, pages = {161--172}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90009-3}, doi = {10.1016/0096-0551(86)90009-3}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/PeterssonS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/Zave86, author = {Pamela Zave}, title = {Case Study: The Paisley Approach Applied to Its Own Software Tools}, journal = {Comput. Lang.}, volume = {11}, number = {1}, pages = {15--28}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90014-7}, doi = {10.1016/0096-0551(86)90014-7}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/Zave86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/Zima86, author = {Hans P. Zima}, title = {A Constraint Language and Its Interpreter}, journal = {Comput. Lang.}, volume = {11}, number = {2}, pages = {65--83}, year = {1986}, url = {https://doi.org/10.1016/0096-0551(86)90002-0}, doi = {10.1016/0096-0551(86)90002-0}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/Zima86.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.