A Complete Horizontal Microlanguage

Simple item page
dc.contributor.authorWesselkamper, Thomas C.en
dc.contributor.authorNixon, Ericen
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:36:09Zen
dc.date.available2013-06-19T14:36:09Zen
dc.date.issued1973en
dc.description.abstractThis paper defines a data space whose points are trees with leaves which are [name,value] pairs. Over this space a substitution operator S (meaning informally "in x for y put z") is formally defined. Taken together with several auxiliary operators, S is shown to be sufficient to define a large class of high-level languages since S is known to be functionally complete for finite-valued spaces, a functionally complete language is exhibited.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000741/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000741/01/CS73002-R.pdfen
dc.identifier.trnumberCS73002-Ren
dc.identifier.urihttp://hdl.handle.net/10919/20240en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleA Complete Horizontal Microlanguageen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
CS73002-R.pdf
Size:
870.1 KB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports