Jørgen Steensgaard-Madsen

According to our database1, Jørgen Steensgaard-Madsen
  • authored at least 12 papers between 1979 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Programs as proofs.
CoRR, 2015

2002
A Sophomore Course in Codesign.
IEEE Computer, 2002

1999
HTEL: a HyperText Expression Language.
Softw., Pract. Exper., 1999

1997
A Generator for Composition Interpreters.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1990
Adding Abstract Datatypes to Meta-IV.
Proceedings of the VDM '90, 1990

1989
Type Representation of Objects by Functions.
ACM Trans. Program. Lang. Syst., 1989

1981
A Statement-Oriented Approach to Data Abstraction.
ACM Trans. Program. Lang. Syst., 1981

Modular Programming with Pascal.
Softw., Pract. Exper., 1981

Document Preparation Systems.
Softw., Pract. Exper., 1981


Program Specification by Module Trees.
Proceedings of the Program Specification, 1981

1979
Pascal-Clarifications and Recommended Extensions.
Acta Inf., 1979


  Loading...