Follow
Jørgen Steensgaard-Madsen
Jørgen Steensgaard-Madsen
Retired (IMM Technical University Denmark; DIKU, University of Copenhagen)
No verified email
Title
Cited by
Cited by
Year
A sophomore course in codesign
J Madsen, J Steensgaard-Madsen, LM Christensen
Computer 35 (11), 108-110, 2002
232002
Typed representation of objects by functions
J Steensgaard-Madsen
ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 67-89, 1989
211989
A statement-oriented approach to data abstraction
J Steensgaard-Madsen
ACM Transactions on Programming Languages and Systems (TOPLAS) 3 (1), 1-10, 1981
171981
Definition of the Programming Language {MODEF}
J Steensgaard-Madsen, LM Olsen
ACM}{SIGPLAN} Notices 19, 92-110, 1984
81984
Pascal-clarifications and recommended extensions
J Steensgaard-Madsen
Acta Informatica 12 (1), 73-94, 1979
61979
A generator for composition interpreters
J Steensgaard-Madsen
Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops …, 1998
41998
Modular programming with Pascal
J Steensgaard‐Madsen
Software: Practice and Experience 11 (12), 1331-1337, 1981
41981
Htel: a hypertext expression language
J Steensgaard‐Madsen
Software: Practice and Experience 29 (8), 661-675, 1999
31999
Adding abstract datatypes to Meta-IV
J Steensgaard-Madsen
VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990
31990
Pascal 1100 User's Manual
J Steensgaard-Madsen, H Snog
UNI-C, 1985
21985
Document preparation systems
H Hansson, J Steensgaard‐Madsen
Software: Practice and Experience 11 (9), 983-997, 1981
21981
KWIC-index generation
J Steensgaard-Madsen, JW Hughes, MS Powell, H Ehrig, HJ Kreowski, ...
Program Specification, Proceedings of a Workshop, 47-117, 1981
21981
Procedures as Monitors in Sequential Programming
J Steensgaard-Madsen
DIKU, Copenhagen, Denmark, 1977
21977
More on dynamic arrays in PASCAL
J Steensgaard-Madsen
ACM SIGPLAN Notices 11 (5), 63-64, 1976
21976
Programs as proofs
J Steensgaard-Madsen
arXiv preprint arXiv:1509.04040, 2015
2015
Explicit continuations and type parameterisation
J Steensgaard-Madsen
Proceedings of the NWPT 01 Nordic Workshop on Programming Theory, DTU Lyngby …, 2001
2001
ML for the working programmer: LC Paulson,(Cambridge University Press, Cambridge, England, 1991), Price£ 27.50, $49.50 (hardcover), ISBN 0-521-39022-2
J Steensgaard-Madsen
Science of Computer Programming 18 (3), 300-301, 1992
1992
Applicative high order programming: The standard ML perspective: S. Sokolowski,(Chapman and Hall, London, 1991), Price£ 19.95, ISBN 0-412-39240-2
J Steensgaard-Madsen
Science of Computer Programming 18 (3), 293-294, 1992
1992
MODULE TREES AND SOFTWARE DESIGN
J Steensgaard-Madsen
Third International Workshop on Software Specification and Design: August 26 …, 1985
1985
A skeleton interpreter for specialized languages
J Steensgaard-Madsen
Proc. IFIP working conference on Programming Languages and System Design …, 1983
1983
The system can't perform the operation now. Try again later.
Articles 1–20