Nothing Special   »   [go: up one dir, main page]

skip to main content
article
Free access

Some ideas on data types in high level languages

Published: 01 March 1976 Publication History

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 on that set leads us to conclude that formal parameter types need not be so explicitly stated. Given a formal parameter X with operations σ1,...,σn being performed on X within a procedure, one should be able to supply, as actual parameters in a call, a variable of any type which has operations σ1,...,σn defined on it. We introduce a notation for this, using PASCAL as a base language, illustrate the added flexibility it gives us, and show briefly how to implement the idea efficiently.

Cited By

View all
  • (1977)A reminder for language designersDesign and Implementation of Programming Languages10.1007/BFb0021432(345-389)Online publication date: 1977
  • (1977)On a new approach to representation independent data classesActa Informatica10.1007/BF002713408:4(315-324)Online publication date: 1-Oct-1977

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices
ACM SIGPLAN Notices  Volume 11, Issue SI
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
March 1976
190 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/942574
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1976
Published in SIGPLAN Volume 11, Issue SI

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)101
  • Downloads (Last 6 weeks)28
Reflects downloads up to 05 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (1977)A reminder for language designersDesign and Implementation of Programming Languages10.1007/BFb0021432(345-389)Online publication date: 1977
  • (1977)On a new approach to representation independent data classesActa Informatica10.1007/BF002713408:4(315-324)Online publication date: 1-Oct-1977

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media