EPIC and related material.

A list of articles, reports and technical notes, ordered by title.

An annotated algebraic specification of the static semantics of Pool Wal86a
ARM -- Abstract Rewriting Machine KW93a
ARM, Abstract rewriting machine KW93
A complete term rewriting system for decimal integer arithmetic Wal94
Epic 1.0 (unconditional) WK96
An extensible language for the generation of parallel Data Manipulation and Control Packages KWD94
A feasibility study in the formal specification of the DM, the IR and Cosy Engines WK93
GEL, a Graph Exchange Language Kam94
Hybrid implementations of algebraic specifications Wal89
Hybrid implementations of algebraic specifications Wal90
A hybrid interpreter for ARM term rewriting WK94
A hybrid interpreter for ARM term rewriting Wal94e
Implementing algebraic specifications BW87
Implementing algebraic specifications BW89
Lazy Rewriting and Eager Machinery KW95b
Lazy rewriting on eager machinery KW94
Lazy rewriting on eager machinery Wal94c
library facility for parameterized ASF+SDF specifications aslib 1.0 Wal94b
Minimal Term Rewriting Systems KW95d
A model for I/O in equational languages with don't care non-determinism KW95c
The New ASF compiler --- An exercise in self-applicability KW95
On Equal Terms, Implementing Algebraic Specifications Wal91
Profiles: a syntactic extension for structure hiding in specifications based on pattern matching Wal94a
Reflexive applicative term rewriting systems Wal94d
Rewrite systems for integer arithmetic WZ95
Simulating TRSs by Minimal TRSs: A Simple, Efficient, and Correct Compilation Technique KW96
The static semantics of POOL Wal89a
Status report on ASF2C Wal94f