Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada /
שמור ב:
| מחברים אחרים: | |
|---|---|
| פורמט: | ספר |
| שפה: | English |
| יצא לאור: |
Berlin ; New York :
Springer-Verlag,
c1993.
|
| סדרה: | Lecture notes in computer science ;
693. |
| נושאים: |
תוכן הענינים:
- 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 [mu]-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, Bill Pase, Mark Saaltink, Dan Craigen and Irwin Meisels
- A Systolizing Compilation Scheme for Nested Loops with Linear Bounds / Michael Barnett and Christian Lengauer.