eCommons

 

A Category-Theoretic Semantics for Unbounded Indeterminacy

dc.contributor.authorPanangaden, Prakashen_US
dc.contributor.authorRussell, James R.en_US
dc.date.accessioned2007-04-23T17:35:48Z
dc.date.available2007-04-23T17:35:48Z
dc.date.issued1988-12en_US
dc.description.abstractIn this paper we give a category-theoretic semantics for a simple imperative language featuring unbounded indeterminacy. This semantics satisfies the categorical analogues of continuity and has the meaning of while loops defined as co-limits of $\omega$-diagrams. Furthermore, it collapses via an abstraction function to a semantics that is fully abstract, and coincides with the operational semantics. The abstraction function is the only discontinuous function appearing in our semantics.en_US
dc.format.extent885499 bytes
dc.format.extent233152 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR88-957en_US
dc.identifier.urihttps://hdl.handle.net/1813/6797
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleA Category-Theoretic Semantics for Unbounded Indeterminacyen_US
dc.typetechnical reporten_US

Files

Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
88-957.pdf
Size:
864.75 KB
Format:
Adobe Portable Document Format
No Thumbnail Available
Name:
88-957.ps
Size:
227.69 KB
Format:
Postscript Files