Travelled to:
1 × Denmark
Collaborated with:
∅ J.W.Hughes M.S.Powell H.Ehrig H.Kreowski L.S.Nielsen J.Abrial I.H.Sørensen R.M.Gallimore D.Coleman J.A.Goguen
Talks about:
abstract (1) program (1) generat (1) datatyp (1) specif (1) modul (1) index (1) tree (1) meta (1) kwic (1)
Person: Jørgen Steensgaard-Madsen
DBLP: Steensgaard-Madsen:J=oslash=rgen
Contributed to:
Wrote 3 papers:
- VDME-1990-Steensgaard-Madsen #data type
- Adding Abstract Datatypes to Meta-IV (JSM), pp. 233–243.
- PS-1981-Steensgaard-Madsen #specification
- Program Specification by Module Trees (JSM), pp. 294–321.
- PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
- KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.