Jørgen Steensgaard-Madsen

According to our database, Jørgen Steensgaard-Madsen authored at least 13 papers between 1976 and 2015.

Collaborative distances:

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

2015

Programs as proofs.

Jørgen Steensgaard-Madsen

CoRR, 2015

2002

A Sophomore Course in Codesign.

Jan Madsen, Jørgen Steensgaard-Madsen, Lars Christensen

Computer, 2002

1999

HTEL: a HyperText Expression Language.

Jørgen Steensgaard-Madsen

Softw. Pract. Exp., 1999

1997

A Generator for Composition Interpreters.

Jørgen Steensgaard-Madsen

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1990

Adding Abstract Datatypes to Meta-IV.

Jørgen Steensgaard-Madsen

Proceedings of the VDM '90, 1990

1989

Type Representation of Objects by Functions.

Jørgen Steensgaard-Madsen

ACM Trans. Program. Lang. Syst., 1989

1981

A Statement-Oriented Approach to Data Abstraction.

Jørgen Steensgaard-Madsen

ACM Trans. Program. Lang. Syst., 1981

Modular Programming with Pascal.

Jørgen Steensgaard-Madsen

Softw. Pract. Exp., 1981

Document Preparation Systems.

Hasse Hansson, Jørgen Steensgaard-Madsen

Softw. Pract. Exp., 1981

KWIC-index generation.

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

Proceedings of the Program Specification, 1981

Program Specification by Module Trees.

Jørgen Steensgaard-Madsen

Proceedings of the Program Specification, 1981

1979

Pascal-Clarifications and Recommended Extensions.

Jørgen Steensgaard-Madsen

Acta Informatica, 1979

1976

More on dynamic arrays in PASCAL.

Jørgen Steensgaard-Madsen

ACM SIGPLAN Notices, 1976