|
Search the dblp DataBase
Flemming M. Damm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hans Bruun, Bo Stig Hansen, Flemming M. Damm
An Approach to the Static Semantics of VDM-SL. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:220-253 [Conf]
- Flemming M. Damm, Hans Bruun, Bo Stig Hansen
The VDM-SL Editor and Consistency Checker. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:693-694 [Conf]
- Flemming M. Damm, Bo Stig Hansen, Hans Bruun
On Type Checking in VDM and Related Consistency Issues. [Citation Graph (0, 0)][DBLP] VDM Europe (1), 1991, pp:45-62 [Conf]
- Flemming M. Damm, Bo Stig Hansen
Generation of Proof Obligations for Type Consistency. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:83-100 [Conf]
- Flemming M. Damm
Subtyping with Union Types, Intersection Types and Recursive Types. [Citation Graph (0, 0)][DBLP] TACS, 1994, pp:687-706 [Conf]
Search in 0.001secs, Finished in 0.001secs
|