Epic 1.0 (unconditional) : an equational programming language

Walters, Pum; Kamperman, Jasper

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 APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Walters, P., & Kamperman, J. (1996). Epic 1.0 (unconditional) : an equational programming language. Department of Computer Science [CS]. CWI.

Free Full Text ( Final Version , 243kb )

Epic 1.0 (unconditional) : an equational programming language

Publication

Publication

Address

CWI researchers

Questions or comments?

Epic 1.0 (unconditional) : an equational programming language

Publication

Publication

Workflow

Workflow

Add Content