Skip to main content
SpringerLink
Log in

Functional Programming, Concurrency, Simulation and Automated Reasoning

International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

  • Book
  • © 1993

Overview

Editors:
  1. Peter E. Lauer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 693)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Download chapter PDF

  2. On the use of theory based systems to traverse educational gaps in computer system related activities

    • Peter E. Lauer
    Pages 1-31

  3. Reflections on standard ML

    • David B. MacQueen
    Pages 32-46

  4. An introduction to the high-level language Standard ML

    • John Ophel
    Pages 47-70

  5. Generating an algorithm for executing graphical models

    • Jawahar Malhotra, Robert M. Shapiro
    Pages 71-83

  6. Modeling a NORAD Command Post using SADT and Colored Petri Nets

    • Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli
    Pages 84-107

  7. Propositional temporal logics and their use in model checking

    • Jeffery Zucker
    Pages 108-116

  8. The propositional μ-calculus and its use in model checking

    • Jeffery Zucker
    Pages 117-128

  9. Analyzing concurrent systems using the Concurrency Workbench

    • Rance Cleaveland
    Pages 129-144

  10. Reasoning about functional programs in Nuprl

    • Douglas J. Howe
    Pages 145-164

  11. Concurrent ML: Design, application and semantics

    • John H. Reppy
    Pages 165-198

  12. A taste of rewrite systems

    • Nachum Dershowitz
    Pages 199-228

  13. Programming in OBJ and Maude

    • Tim Winkler
    Pages 229-277

  14. Supporting the attribute grammar programming paradigm in a lazy functional programming language

    • R. A. Frost, S. Karamatos
    Pages 278-295

  15. Specification and simulation with ExSpect

    • K. M. van Hee, P. M. P. Rambags, P. A. C. Verkoulen
    Pages 296-328

  16. An overview of Larch

    • Stephen J. Garland, John V. Guttag, James J. Horning
    Pages 329-348

  17. The EVES system

    • Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
    Pages 349-373

  18. A systolizing compilation scheme for nested loops with linear bounds

    • Michael Barnett, Christian Lengauer
    Pages 374-398

  19. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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 analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation