Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: Type Definitions in Polya
Authors: Volpano, Dennis M.
Gries, David
Keywords: computer science
technical report
Issue Date: Jan-1990
Publisher: Cornell University
Abstract: The programming language Polya maintains a clear separation between a type and its implementation through a new construct called the transform. Polya allows user to define their own data types and transforms to implement them. The type definition facility of Polya has capabilities not found in existing languages; in short, it allows a more comprehensive description of the properties that determine whether a program is well-formed. Two such properties are the scope of variables and the bounded polymorphic nature of some operations. One can specify the scope of any local variables that an operation introduces and express that the well-formedness of an operation depends on whether some overloaded function name stands for a function of a certain type. Also novel, is the ability to define literal classes for types and to specify both an abstract and concrete syntax for operations. With these capabilities, it becomes possible to define the syntax of a block-structured language within Polya itself.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
90-1085.pdf1.87 MBAdobe PDFView/Open
90-1085.ps424.88 kBPostscriptView/Open

Refworks Export

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


© 2014 Cornell University Library Contact Us