Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 19-34
https://doi.org/10.1007/978-94-011-0187-5_2

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Specification of concurrently executable modules and distributed modular systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Algebraic Specification Techniques in Object Oriented Programming Environments
Published by Springer Nature ,1991
Fundamentals of Algebraic Specification 2
Published by Springer Nature ,1990
Dimensions of object-based language design
Published by Association for Computing Machinery (ACM) ,1987
Fundamentals of Algebraic Specification 1
Published by Springer Nature ,1985