Abstract types defined as classes of variables

@inproceedings{Parnas1976AbstractTD,
  title={Abstract types defined as classes of variables},
  author={D. Parnas and J. Shore and D. M. Weiss},
  booktitle={Conference on Data: Abstraction, Definition and Structure},
  year={1976}
}
  • D. Parnas, J. Shore, D. M. Weiss
  • Published in
    Conference on Data…
    1976
  • Computer Science, Mathematics
  • The concept of “type” has been used without a precise definition in discussions about programming languages for 20 years. Before the concept of user defined data types was introduced, a definition was not necessary for discussions of specific programming languages. The meaning of the term was implicit in the small list of possible types supported by the language. There was even enough similarity between different languages so that this form of definition allowed discussions of languages in… CONTINUE READING
    13 Citations

    Topics from this paper

    Where are the data?
    • J. Reich
    • Computer Science, Medicine
    • Nature Structural &Molecular Biology
    • 2016
    • PDF
    Data types as values: polymorphism, type-checking, encapsulation
    • 18
    Type Safety with JSON Subschema
    • 1
    • PDF
    Programming Methodology
    Design and Specification of the Minimal Subset of an Operating System Family
    • 26
    Coupling-based Testing of O-O Programs
    • 24
    • PDF
    A Brief History of Software Engineering
    • N. Wirth
    • Computer Science
    • IEEE Annals of the History of Computing
    • 2008
    • 66
    • PDF