Flemming M. Damm

According to our database, Flemming M. Damm authored at least 5 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1994

Subtyping with Union Types, Intersection Types and Recursive Types.

Flemming M. Damm

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Generation of Proof Obligations for Type Consistency.

Flemming M. Damm, Bo Stig Hansen

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1991

On Type Checking in VDM and Related Consistency Issues.

Flemming M. Damm, Bo Stig Hansen, Hans Bruun

Proceedings of the VDM '91, 1991

The VDM-SL Editor and Consistency Checker.

Flemming M. Damm, Hans Bruun, Bo Stig Hansen

Proceedings of the VDM '91, 1991

An Approach to the Static Semantics of VDM-SL.

Hans Bruun, Bo Stig Hansen, Flemming M. Damm

Proceedings of the VDM '91, 1991