
The Library
Data types as objects
Tools
Shamir, Adi and Wadge, William W. (1977) Data types as objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
|
Text
WRAP_Shamir_cs-rr-020.pdf - Published Version Download (1049Kb) | Preview |
Abstract
In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as elements of the domain of data objects. The approach allows types to have subtypes, allows genuinely polymorphic functions, and gives a precise semantics for recursive type definitions, including definitions with parameters. In addition the approach yields simple and straightforward methods for proving type properties of recursive programs.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Data structures (Computer science) -- Mathematical models | ||||
Series Name: | Theory of Computation Report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | June 1977 | ||||
Dates: |
|
||||
Number: | Number 20 | ||||
Number of Pages: | 15 | ||||
DOI: | CS-RR-020 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Access rights to Published version: | Open Access (Creative Commons) | ||||
Date of first compliant deposit: | 1 August 2016 | ||||
Date of first compliant Open Access: | 1 August 2016 | ||||
Funder: | Science Research Council (Great Britain) (SRC) | ||||
Version or Related Resource: | Shamir, A. and Wadge, W.W. (1977). Proceedings of the Fourth International Conference on Automata, Languages and Programming (ICAIP), Turku, Finland, 18-22 July 1977. |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year