Flemming M. Damm

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Flemming M. Damm
Subtyping with Union Types, Intersection Types and Recursive Types. TACS (1994)
Flemming M. Damm, Bo Stig Hansen
Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages (1993)
Flemming M. Damm, Bo Stig Hansen, Hans Bruun
On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) (1991)
Hans Bruun, Bo Stig Hansen, Flemming M. Damm
An Approach to the Static Semantics of VDM-SL. VDM Europe (1) (1991)
Flemming M. Damm, Hans Bruun, Bo Stig Hansen
The VDM-SL Editor and Consistency Checker. VDM Europe (1) (1991)