Search dblp for Publications

export results for "toc:db/journals/cl/cl11.bht:"

 download as .bib file

@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.