Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness

Authors:
Hartmut Ehrig;Hans-Jörg Kreowski;Peter Padawitz
Affiliations:
-;-;-
Venue:
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Year:
1980

Citing 0
Cited 5

Stepwise refinement process with modularity

ICSE '89 Proceedings of the 11th international conference on Software engineering
Abstract Implementations and Their Correctness Proofs

Journal of the ACM (JACM)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability

ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Verification of Data Abstractions with Shared Realizations

IEEE Transactions on Software Engineering
Complexity of implementations on the level of algebraic specifications

STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing

Quantified Score

Hi-index	0.01

Visualization

Abstract