An Expansion of the Data Structuring Capabilities of PAL.
Abstract
The programming language PAL is extended to include additional facilities for structuring data. These extensions increase the flexibility of the language and give the user greater control over the form and use of his data. The structure definitions of Landin are incorporated into the PAL syntax.... The data structures are represented by functions defined on a set of symbolic component selectors. A type system based on unrestricted predicate functions is introduced to provide strong representations of the data structures. The new language features are formally defined by appropriate modifications to the existing formal definition of PAL. The flexibility and power of the extensions is illustrated in a series of examples. Limitations, alternatives and possible extensions are discussed. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1970
- Accession Number
- AD0720761
Entities
People
- Stephen N. Zilles
Organizations
- Massachusetts Institute of Technology