Peter E. Lauer (Ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Springer 1993 Lecture Notes in Computer Science ISBN 3-540-56883-2- Peter E. Lauer: On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. 1-31
- David B. MacQueen: Reflections on Standard ML. 32-46
- John Ophel: An Introduction to the High-Level Language Standard ML. 47-70
- Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli: Modeling an NORAD Command Post Using SADT and Colored Petri Nets. 84-107
- Jeffery I. Zucker: Propositional Temporal Logics and Their Use in Model Checking. 108-116
- Jeffery I. Zucker: The Propositional mu-Calculus and Its Use in Model Checking. 117-128
- Rance Cleaveland: Analysing Concurrent Systems Using the Concurrency Workbench. 129-144
- Douglas J. Howe: Reasoning About Functional Programs in Nuprl. 145-164
- John H. Reppy: Concurrent ML: Design, Application and Semantics. 165-198
- Nachum Dershowitz: A Taste of Rewrite Systems. 199-228
- Timothy C. Winkler: Programming in OBJ and Maude. 229-277
- Richard A. Frost, S. Karamatos: Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. 278-295
- Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen: Specification and Simulation with ExSpect. 296-327
- Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels: The EVES System. 349-373
- Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. 374-398
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team