Epic 1.0 (unconditional) an equational programming language

Authors:
H. R. Walters;Jasper F.T Kamperman
Affiliations:
-;-
Venue:
Epic 1.0 (unconditional) an equational programming language
Year:
1996

Citing 0
Cited 1

Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present EPIC, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional EPIC.