1 option
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (Ed.)
LIBRA QA76.6 .F853 1993
Available from offsite location
- Format:
- Book
- Series:
- Lecture notes in computer science ; 693.
- Lecture notes in computer science ; 693
- Language:
- English
- Subjects (All):
- Computer programming--Congresses.
- Computer programming.
- Functional programming (Computer science)--Congresses.
- Functional programming (Computer science).
- Parallel programming (Computer science)--Congresses.
- Parallel programming (Computer science).
- Automatic theorem proving--Congresses.
- Automatic theorem proving.
- Computer simulation--Congresses.
- Computer simulation.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- x, 398 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1993]
- Summary:
- This collection of papers arose from a series of lecturesfor workers in computer science and other disciplines. Thelectures were intended to familiarize them with some of themost exciting advanced computer based systems for theconceptualization, design, implementation, simulation, andlogical analysis of applications in these disciplines.The collection presents some strong motivational points forthe use of theory based systems in the areas of functionalprogramming, concurrency, simulation, and automatedreasoning, highlighting some of their advantages anddisadvantages relative to conventional systems. The papersare mostly the work of individuals who were among theoriginators of the systemspresented.The volume is intended as a contribution to narrowing thelearning gap facing conventional computer users when theywish to use advanced theory based systems. The papers aremeant for a wide audience and should not require greatmathematical sophistication for their comprehension. Thepapers contain numerous references for those wishing topursue a topic in greater depth.
- Notes:
- Includes bibliographical references.
- ISBN:
- 3540568832
- 0387568832
- OCLC:
- 28552146
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.