|
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
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
