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

Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz

Browse the full ICALP paper archive.