Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/28632
Title: New
Authors: Kozen, Dexter
Keywords: object-oriented programming
functional programming
imperative programming
semantics
indiscernibles
Issue Date: 17-Mar-2012
Abstract: We propose a theoretical device for modeling the creation of new indiscernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.
URI: http://hdl.handle.net/1813/28632
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
New.pdf252.84 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us