The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary).

Peter Raulefs

Browse the full GI paper archive.