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)
CWI
Department of Computer Science [CS]
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.