Functional Programming, Concurrency, Simulation and Automated Reasoning International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / edited by Peter E. Lauer.

This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical an...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lauer, Peter E. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993.
Edition:	1st ed. 1993.
Series:	Lecture Notes in Computer Science, 693 Springer eBook Collection.
Subjects:	Computers. Artificial intelligence. Computer programming. Software engineering. Programming languages (Electronic computers). Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

On the use of theory based systems to traverse educational gaps in computer system related activities
Reflections on standard ML
An introduction to the high-level language Standard ML
Generating an algorithm for executing graphical models
Modeling a NORAD Command Post using SADT and Colored Petri Nets
Propositional temporal logics and their use in model checking
The propositional ?-calculus and its use in model checking
Analyzing concurrent systems using the Concurrency Workbench
Reasoning about functional programs in Nuprl
Concurrent ML: Design, application and semantics
A taste of rewrite systems
Programming in OBJ and Maude
Supporting the attribute grammar programming paradigm in a lazy functional programming language
Specification and simulation with ExSpect
An overview of Larch
The EVES system
A systolizing compilation scheme for nested loops with linear bounds.

Functional Programming, Concurrency, Simulation and Automated Reasoning International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / edited by Peter E. Lauer.

Similar Items