Functional Programming, Concurrency, Simulation and Automated Reasoning

Keyphrases

Publications

1993

Stephen J. Garland, John V. Guttag, James J. Horning
An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
John H. Reppy
Concurrent ML: Design, Application and Semantics. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Jeffery I. Zucker
Propositional Temporal Logics and Their Use in Model Checking. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Peter E. Lauer
On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Nachum Dershowitz
A Taste of Rewrite Systems. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
David B. MacQueen
Reflections on Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Michael Barnett, Christian Lengauer
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen
Specification and Simulation with ExSpect. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
John Ophel
An Introduction to the High-Level Language Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Timothy C. Winkler
Programming in OBJ and Maude. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Jeffery I. Zucker
-Calculus and Its Use in Model Checking. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli
Modeling an NORAD Command Post Using SADT and Colored Petri Nets. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Rance Cleaveland
Analysing Concurrent Systems Using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Richard A. Frost, S. Karamatos
Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Douglas J. Howe
Reasoning About Functional Programs in Nuprl. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Jawahar Malhotra, Robert M. Shapiro
Generating an Algorithm for Executing Graphical Models. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

volume 693, 1993

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada Functional Programming, Concurrency, Simulation and Automated Reasoning 693 (1993)