university website

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

1996

Epic 1.0 (unconditional) : an equational programming language

Publication

Publication

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>.

Additional Metadata
ACM Applicative Programming (acm D.1.1), Semantics of Programming Languages (acm F.3.2), Mathematical Logic (acm F.4.1)
MSC Logic programming (msc 68N17), Theory of computing (msc 68Qxx), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)
Publisher CWI
Series Department of Computer Science [CS]
Organisation Extensible programming environments
Citation
Walters, P.& Kamperman, J. (1996). Epic 1.0 (unconditional) : an equational programming language. In Department of Computer Science [CS] (R 9604). CWI.
Free Full Text ( Final Version , 243kb ) cover


User Publication Person Organisation Collection
Close