Hiding more of hidden algebra
Authors:
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 1704-1719
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Modular correctness proofs of behavioural implementationsActa Informatica, 1998
- Cafeobj Report1998
- Towards the one-tiered design of data types and transition systemsLecture Notes in Computer Science, 1998
- Observational Logic1998
- Behavioural theories and the proof of behavioural propertiesTheoretical Computer Science, 1996
- Algebraic Semantics of Imperative Programs1996
- Swinging data typesLecture Notes in Computer Science, 1996
- Observational specifications and the indistinguishability assumptionTheoretical Computer Science, 1995
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991