publication venue for
- A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. 1993
- A Taste of Rewrite Systems. 1993
- An Introduction to the High-Level Language Standard ML. 1993
- An Overview of Larch. 1993
- Analysing Concurrent Systems Using the Concurrency Workbench. 1993
- Concurrent ML: Design, Application and Semantics. 1993
- Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada 1993
- Generating an Algorithm for Executing Graphical Models. 1993
- Modeling an NORAD Command Post Using SADT and Colored Petri Nets. 1993
- Programming in OBJ and Maude. 1993
- Reasoning About Functional Programs in Nuprl. 1993
- Reflections on Standard ML. 1993
- Specification and Simulation with ExSpect. 1993
- Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. 1993
- The EVES System. 1993