Flemming M. Damm

Generation of Proof Obligations for Type Consistency

Flemming M. Damm, Bo Stig Hansen, 1993, Semantics of Specification Languages.

Subtyping with Union Types, Intersection Types and Recursive Types

Flemming M. Damm, F. Damm, 1994, TACS.

The VDM-SL Editor and Consistency Checker

Flemming M. Damm, Bo Stig Hansen, Hans Bruun, 1991, VDM Europe.

An Approach to the Static Semantics of VDM-SL

Flemming M. Damm, Bo Stig Hansen, B. S. Hansen, 1991, VDM Europe.

On Type Checking in VDM and Related Consistency Issues

Flemming M. Damm, Bo Stig Hansen, B. S. Hansen, 1991, VDM Europe.