Some Ideas on Data Types in High Level Languages
dc.contributor.author | Gries, David | en_US |
dc.contributor.author | Gehani, Narain | en_US |
dc.date.accessioned | 2007-04-23T17:12:21Z | |
dc.date.available | 2007-04-23T17:12:21Z | |
dc.date.issued | 1975-05 | en_US |
dc.description.abstract | WE explore some new and old ideas concerning data types; what a data type is, overloading operators, when and how implicit conversions between programmer data types should be allowed and so forth. The current notion that a data type is a set of values together with basic operations in that set leads us to conclude that formal parameter types need not be so explicitly stated. Given a formal parameter X with operations $o_{1},\ldots o_{n}$ being performed on X within a procedure, one should be able to supply, as actual parameter in call, a variable of any type which has operations $o_{1},\ldots o_{n}$ defined on it. We introduce a notation for this, using PASCAL as a basic language, illustrate the added flexibility it gives us, and show briefly how to implement the idea efficiently. | en_US |
dc.format.extent | 1547362 bytes | |
dc.format.extent | 495941 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR75-244 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/6563 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | Some Ideas on Data Types in High Level Languages | en_US |
dc.type | technical report | en_US |