Functional Programming, Concurrency, Simulation and Automated Reasoning 1993

Peter E. Lauer (Ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Lecture Notes in Computer Science 693 Springer 1993, ISBN 3-540-56883-2 BibTeX

@proceedings{DBLP:conf/mcmaster/1993,
  editor    = {Peter E. Lauer},
  title     = {Functional Programming, Concurrency, Simulation and Automated
               Reasoning: International Lecture Series 1991-1992, McMaster University,
               Hamilton, Ontario, Canada},
  booktitle = {Functional Programming, Concurrency, Simulation and Automated
               Reasoning},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {693},
  year      = {1993},
  isbn      = {3-540-56883-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Peter E. Lauer: On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. 1-31 BibTeX
David B. MacQueen: Reflections on Standard ML. 32-46 BibTeX
John Ophel: An Introduction to the High-Level Language Standard ML. 47-70 BibTeX
Jawahar Malhotra, Robert M. Shapiro: Generating an Algorithm for Executing Graphical Models. 71-83 BibTeX
Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli: Modeling an NORAD Command Post Using SADT and Colored Petri Nets. 84-107 BibTeX
Jeffery I. Zucker: Propositional Temporal Logics and Their Use in Model Checking. 108-116 BibTeX
Jeffery I. Zucker: The Propositional mu-Calculus and Its Use in Model Checking. 117-128 BibTeX
Rance Cleaveland: Analysing Concurrent Systems Using the Concurrency Workbench. 129-144 BibTeX
Douglas J. Howe: Reasoning About Functional Programs in Nuprl. 145-164 BibTeX
John H. Reppy: Concurrent ML: Design, Application and Semantics. 165-198 BibTeX
Nachum Dershowitz: A Taste of Rewrite Systems. 199-228 BibTeX
Timothy C. Winkler: Programming in OBJ and Maude. 229-277 BibTeX
Richard A. Frost, S. Karamatos: Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. 278-295 BibTeX
Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen: Specification and Simulation with ExSpect. 296-327 BibTeX
Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. 329-348 BibTeX
Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels: The EVES System. 349-373 BibTeX
Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. 374-398 BibTeX