Some ideas on data types in high level languages

No abstract is available for this paper.

• Publication year

  1977

• Venue

  Conference on Data: Abstraction, Definition and Structure

• Publication date

  1977-06-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/942574.807130
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Report on the programming language Euclid

  1977cited by this paper
• Abstract data types and the development of data structures

  1976cited by this paper
• Abstraction and Verification in Alphard: Introduction to Language and Methodology

  1976cited by this paper
• The treatment of data types in EL1

  1974cited by this paper
• ALPHARD: Toward a Language to Support Structured Programs

  1974cited by this paper
• Programming with abstract data types

  1974cited by this paper
• Hints on programming language design.

  1973cited by this paper
• Types are not sets

  1973cited by this paper
• Structured Programming

  1973cited by this paper
• Mode modules as representations of domains: preliminary report

  1973cited by this paper
• Hierarchical Program Structures

  1972cited by this paper
• A note on the for statement

  1972cited by this paper
• SIMULA 67 common base language, (Norwegian Computing Center. Publication)

  1968cited by this paper
• SIMULA: an ALGOL-based simulation language

  1966cited by this paper

• The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

  2014cites this paper
• Dynamic compilation for functional programs

  2009cites this paper
• Dynamic Compilation for Functional Programs

  2009cites this paper
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs

  2008cites this paper
• A Bibliography of ACM SIGMOD Record

  2005cites this paper
• Verification of Finite Iterations over Tuples of Data Structures

  2004cites this paper
• Symbolic Verification Method for Definite Iteration over Data Structures

  1999cites this paper
• Verification of a finite iteration over data structures

  1999cites this paper
• Verification of Definite Iteration over Hierarchical Data Structures

  1999cites this paper
• Dictionary-free overloading by partial evaluation

  1995cites this paper
• Data structures for parallel execution of functional languages

  1989cites this paper
• Architektur von Datenbanksystemen

  1987cites this paper
• A taxonomy of binary tree traversals

  1986cites this paper
• Data types are values

  1985cites this paper
• A flexible command generation technique for application in dialogue systems

  1984cites this paper
• For Statements with Restricted Enumerations

  1984cites this paper
• Designing and implementing an array theory incorporating abstract datatypes

  1983cites this paper
• A programmer controlled approach to data and control abstraction

  1983cites this paper
• An object-oriented approach to database system implementation

  1981cites this paper
• The effect of modularization and comments on program comprehension

  1981cites this paper
• An Extended Polymorphic Type System for Applicative Languages

  1980cites this paper
• Data abstraction, controlled iteration, and communicating processes

  1980cites this paper
• Generic Procedures: An Implementation and an Undecidability Result

  1980cites this paper
• An Abstract Type for Statistics Collection in Simula

  1980cites this paper
• Toward a verification system for the programming language kl-1 using weakest preconditions.

  1979cites this paper
• Zur Verbesserung der Lokalität im Zugriff auf Felder

  1979cites this paper
• The A-TABLE data-type for LISP systems

  1979cites this paper
• Tools for designing conceptual schemata of databases

  1979cites this paper
• Abstract FOR-Loops Over Several Aggregates

  1979cites this paper
• High Level Data Structure - the Grid

  1979cites this paper
• CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications

  1979cites this paper
• Aspects of the ALGOL 68 mode structure

  1979cites this paper
• Data Structures in SL5

  1978cites this paper
• The programming of structural relationships in dynamic environments

  1978cites this paper
• A Theory of Type Polymorphism in Programming

  1978cites this paper
• Data types as values: polymorphism, type-checking, encapsulation

  1978cites this paper
• Aspects Of Implementing CLU

  1978cites this paper
• An Approach to Formal Definitions and Proofs of Programming Principles

  1978cites this paper
• Units of Measure as a Data Attribute

  1977cites this paper
• A new data structure — the grid

  1977cites this paper
• On a new approach to representation independent data classes

  1977cites this paper
• Two views of data abstraction

  1977cites this paper
• Encapsulated data types and generic

  1976cites this paper
• Programming languages for relational database systems

  1899cites this paper
• A Complete Bibliography of the Proceedings Volumes of the ACM Symposia on the Theory of Computing ( 1970 – 1997 )

  year unknowncites this paper