Jørgen Steensgaard-Madsen

13 papers Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
Programs as proofs.
CoRR
Jørgen Steensgaard-Madsen
2002 J jnl
A Sophomore Course in Codesign.
Computer
Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen
1999 J jnl
HTEL: a HyperText Expression Language.
Softw. Pract. Exp.
Jørgen Steensgaard-Madsen
1997 — conf
A Generator for Composition Interpreters.
ECOOP Workshops
Jørgen Steensgaard-Madsen
1990 — conf
Adding Abstract Datatypes to Meta-IV.
VDM Europe
Jørgen Steensgaard-Madsen
1989 J jnl
Type Representation of Objects by Functions.
ACM Trans. Program. Lang. Syst.
Jørgen Steensgaard-Madsen
1981 J jnl
A Statement-Oriented Approach to Data Abstraction.
ACM Trans. Program. Lang. Syst.
Jørgen Steensgaard-Madsen
1981 J jnl
Document Preparation Systems.
Softw. Pract. Exp.
Hasse Hansson, Jørgen Steensgaard-Madsen
1981 — conf
KWIC-index generation.
Program Specification
Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen
1981 J jnl
Modular Programming with Pascal.
Softw. Pract. Exp.
Jørgen Steensgaard-Madsen
1981 — conf
Program Specification by Module Trees.
Program Specification
Jørgen Steensgaard-Madsen
1979 J jnl
Pascal-Clarifications and Recommended Extensions.
Acta Informatica
Jørgen Steensgaard-Madsen
1976 J jnl
More on dynamic arrays in PASCAL.
ACM SIGPLAN Notices
Jørgen Steensgaard-Madsen