Epic 1.0 (unconditional) : an equational programming language
We present E<font size=-1>PIC</font>, an equational programming language: its abstract syntax, static and operational semantics, and one of many possible concrete grammars of unconditional E<font size=-1>PIC</font>.
|Applicative Programming (acm D.1.1), Semantics of Programming Languages (acm F.3.2), Mathematical Logic (acm F.4.1)|
|Logic programming (msc 68N17), Theory of computing (msc 68Qxx), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)|
|Department of Computer Science [CS]|
|Organisation||Extensible programming environments|
Walters, H.R, & Kamperman, J.F.T. (1996). Epic 1.0 (unconditional) : an equational programming language. Department of Computer Science [CS]. CWI.