Author of the publication

Abstract Data Types and the Development of Data Structures

. Software Pioneers Contributions to Software Engineering, page 453--479. Berlin, Springer, (1977)aus: Commun.~ACM, Vol.~20(6), pp.~396-404.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Debugging Larch Shared Language Specifications., , and . IEEE Trans. Software Eng., 16 (9): 1044-1057 (1990)Notes on Type Abstraction (Version 2).. IEEE Trans. Software Eng., 6 (1): 13-23 (1980)Larch: Languages and Tools for Formal Specification, , , , , and . Texts and Monographs in Computer Science Springer, (1993)Abstract Data Type and the Development of Data Structures.. Commun. ACM, 20 (6): 396-404 (1977)An Overview of Larch., , and . Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, page 329-348. Springer, (1993)A few Remarks on Putting Formal Specifications to Productive Use.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 370-380. Springer, (1981)A Framework for Understanding Unintended Consequences of Machine Learning, and . arXiv preprint arXiv:1901.10002, (2019)Prototypical Biological Signals., and . ICASSP (1), page 397-400. IEEE, (2007)Visual Deprojection: Probabilistic Recovery of Collapsed Dimensions., , , , , and . ICCV, page 171-180. IEEE, (2019)Painting Many Pasts: Synthesizing Time Lapse Videos of Paintings., , , , , and . CVPR, page 8432-8442. Computer Vision Foundation / IEEE, (2020)