The Resource Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Peter E. Lauer, ed

Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Peter E. Lauer, ed

Label
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Title
Functional programming, concurrency, simulation and automated reasoning
Title remainder
international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Statement of responsibility
Peter E. Lauer, ed
Contributor
Subject
Genre
Language
eng
Summary
"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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
NRU
http://bibfra.me/vocab/lite/collectionName
International lecture series
Illustrations
illustrations
Index
no index present
LC call number
QA76.6
LC item number
.F853 1993
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1934-
http://library.link/vocab/relatedWorkOrContributorName
Lauer, Peter E.
http://library.link/vocab/subjectName
  • Computer programming
  • Functional programming (Computer science)
  • Parallel programming (Computer science)
  • Automatic theorem proving
  • Computer simulation
  • raisonnement automatique
  • simulation
  • concurrence
  • programmation fonctionnelle
  • Programmation des ordinateurs
  • Programmation fonctionnelle
  • Programmation parallèle (Informatique)
  • Théorèmes
  • Simulation par ordinateur
  • Automatic theorem proving
  • Computer programming
  • Computer simulation
  • Functional programming (Computer science)
  • Parallel programming (Computer science)
  • Parallelprogrammering
  • Simulatie
  • Functionele programmering
  • Programmation fonctionnelle (informatique)
  • Preuve, Théorie de la
  • Simulation par ordinateur
  • Programmation parallèle (informatique)
Label
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Peter E. Lauer, ed
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • On the use of theory based systems to traverse educational gaps in computer related activities / Peter E. Lauer -- Reflections on standard ML / David B. MacQueen -- An introduction to the high-level language standard ML / John Ophel -- Generating an algorithm for executing graphical models / Jawahar Malhotra and Robert M. Shapiro -- Modeling a NORAD command post using SADT and colored petri nets / Robert M. Shapiro, Valerio O. Pinci and Roberto Mameli -- Propositional temporal logics and their use in model checking / Jeffery Zucker -- The propositional ư-calculus and its use in model checking / Jeffery Zucker -- Analyzing concurrent systems using the concurrency workbench / Rance Cleaveland -- Reasoning about functional programs in Nuprl / Douglas J. Howe -- Concurrent ML: design, application and semantics / John H. Reppy -- A taste of rewrite systems / Nachum Dershowitz
  • Programming in OBJ and Maude / Tim Winkler -- Supporting the attribute grammar programming paradigm in a lazy functional programming language / R.A. Frost and S. Karamatos -- Specification and simulation with ExSpect / K.M. van Hee, P.M.P. Rambags and P.A.C. Verkoulen -- An overview of Larch / Stephen J. Garland, John V. Guttag and James J. Horning -- The EVES system / Sentot Kromodimoeljo [and others] -- A systolizing compilation scheme for nested loops with linear bounds / Michael Barnett and Christian Lengauer
Dimensions
24 cm.
Extent
x, 398 pages
Isbn
9783540568834
Lccn
93211848
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)28552146
  • (OCoLC)ocm28552146
Label
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Peter E. Lauer, ed
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • On the use of theory based systems to traverse educational gaps in computer related activities / Peter E. Lauer -- Reflections on standard ML / David B. MacQueen -- An introduction to the high-level language standard ML / John Ophel -- Generating an algorithm for executing graphical models / Jawahar Malhotra and Robert M. Shapiro -- Modeling a NORAD command post using SADT and colored petri nets / Robert M. Shapiro, Valerio O. Pinci and Roberto Mameli -- Propositional temporal logics and their use in model checking / Jeffery Zucker -- The propositional ư-calculus and its use in model checking / Jeffery Zucker -- Analyzing concurrent systems using the concurrency workbench / Rance Cleaveland -- Reasoning about functional programs in Nuprl / Douglas J. Howe -- Concurrent ML: design, application and semantics / John H. Reppy -- A taste of rewrite systems / Nachum Dershowitz
  • Programming in OBJ and Maude / Tim Winkler -- Supporting the attribute grammar programming paradigm in a lazy functional programming language / R.A. Frost and S. Karamatos -- Specification and simulation with ExSpect / K.M. van Hee, P.M.P. Rambags and P.A.C. Verkoulen -- An overview of Larch / Stephen J. Garland, John V. Guttag and James J. Horning -- The EVES system / Sentot Kromodimoeljo [and others] -- A systolizing compilation scheme for nested loops with linear bounds / Michael Barnett and Christian Lengauer
Dimensions
24 cm.
Extent
x, 398 pages
Isbn
9783540568834
Lccn
93211848
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
  • (OCoLC)28552146
  • (OCoLC)ocm28552146

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...