Jørgen Steensgaard-Madsen

Publication Activity (10 Years)

Years Active: 1976-2015
Publications (10 Years): 0

Top Topics

Automatic Programming

Top Venues

Publications

Jørgen Steensgaard-Madsen
Programs as proofs. CoRR (2015)
Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen
A Sophomore Course in Codesign. Computer 35 (11) (2002)
Jørgen Steensgaard-Madsen
HTEL: a HyperText Expression Language. Softw. Pract. Exp. 29 (8) (1999)
Jørgen Steensgaard-Madsen
A Generator for Composition Interpreters. ECOOP Workshops (1997)
Jørgen Steensgaard-Madsen
Adding Abstract Datatypes to Meta-IV. VDM Europe (1990)
Jørgen Steensgaard-Madsen
Type Representation of Objects by Functions. ACM Trans. Program. Lang. Syst. 11 (1) (1989)
Hasse Hansson, Jørgen Steensgaard-Madsen
Document Preparation Systems. Softw. Pract. Exp. 11 (9) (1981)
Jørgen Steensgaard-Madsen
Program Specification by Module Trees. Program Specification (1981)
Jørgen Steensgaard-Madsen
A Statement-Oriented Approach to Data Abstraction. ACM Trans. Program. Lang. Syst. 3 (1) (1981)
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
KWIC-index generation. Program Specification (1981)
Jørgen Steensgaard-Madsen
Modular Programming with Pascal. Softw. Pract. Exp. 11 (12) (1981)
Jørgen Steensgaard-Madsen
Pascal-Clarifications and Recommended Extensions. Acta Informatica 12 (1979)
Jørgen Steensgaard-Madsen
More on dynamic arrays in PASCAL. ACM SIGPLAN Notices 11 (5) (1976)