Pointers and data abstractions in high level languages—I: Language proposals

DOI10.1016/0096-0551(77)90002-9zbMath0433.68012OpenAlexW2092893156MaRDI QIDQ3871892

Z. Erlich, Carlos J. P. Lucena, Daniel M. Berry

Publication date: 1977

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(77)90002-9

zbMATH Keywords

clustersabstract data typescorrectness proofspointersreliable softwarehigh level languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

This page was built for publication: Pointers and data abstractions in high level languages—I: Language proposals