Abstract is missing.
- On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related ActivitiesPeter E. Lauer. 1-31
- Reflections on Standard MLDavid B. MacQueen. 32-46
- An Introduction to the High-Level Language Standard MLJohn Ophel. 47-70
- Generating an Algorithm for Executing Graphical ModelsJawahar Malhotra, Robert M. Shapiro. 71-83
- Modeling an NORAD Command Post Using SADT and Colored Petri NetsRobert M. Shapiro, Valerio O. Pinci, Roberto Mameli. 84-107
- Propositional Temporal Logics and Their Use in Model CheckingJeffery I. Zucker. 108-116
- The Propositional ::::mu::::-Calculus and Its Use in Model CheckingJeffery I. Zucker. 117-128
- Analysing Concurrent Systems Using the Concurrency WorkbenchRance Cleaveland. 129-144
- Reasoning About Functional Programs in NuprlDouglas J. Howe. 145-164
- Concurrent ML: Design, Application and SemanticsJohn H. Reppy. 165-198
- A Taste of Rewrite SystemsNachum Dershowitz. 199-228
- Programming in OBJ and MaudeTimothy C. Winkler. 229-277
- Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming LanguageRichard A. Frost, S. Karamatos. 278-295
- Specification and Simulation with ExSpectKees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen. 296-327
- An Overview of LarchStephen J. Garland, John V. Guttag, James J. Horning. 329-348
- The EVES SystemSentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels. 349-373
- A Systolizing Compilation Scheme for Nested Loops with Linear BoundsMichael Barnett, Christian Lengauer. 374-398