External Representations of Objects of User-Defined Type

Authors:
Peter L. Wallis
Affiliations:
School of Mathematics, University of Bath, Claverton Down, Bath BA2 7AY, United Kingdom
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1980

Citing 5
Cited 4

Abstraction and verification in Alphard: defining and specifying iteration and generators

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual
Visibility and Teachability of I/O Processing in High Level Languages

ALGOL Bulletin
Informal Introduction to Algol 68

Informal Introduction to Algol 68

The proteus bibliography: Representation and interactive display in databases

ACM SIGMOD Record
An input-output model of interactive systems

CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Modular implementation of presentations

CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Descartes: A programming-language approach to interactive display interfaces

Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The portable programming language (PPL) is one of a number of recently designed programming languages that enable the user to define new types by giving their representations and operations in terms of those of previously available types. Such provisions for the construction of objects of user-defined type have been discussed elsewhere; this work concerns the related problem of the external representations of such objects, both on input-output media and as written constants within the program text. We introduce an enhancement to the PPL design allowing specification of the external representations of objects of user-defined type. This extension to the PPL design means that objects of user-defined type can be read, written, and used as constants exactly as if their representations had been selected by the writer of the PPL compiler. The implementation and use of the added facilities are also discussed.