Peter Sestoft's Publications
Some of the papers mentioned here are too old to be available online.
1985
- N.D. Jones, P. Sestoft, and H. Søndergaard. An experiment
in partial evaluation: The generation of a compiler generator. In
J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon,
France. (Lecture Notes in Computer Science, Vol. 202), pages
124-140. Berlin: Springer-Verlag, 1985.
(Reviewed in Computing Reviews 27(7): 353, 1986, entry 8607-0607).
1986
- P. Sestoft. The structure of a self-applicable partial evaluator. In
H. Ganzinger and N.D. Jones, editors, Programs as Data Objects,
Copenhagen, Denmark, 1985. (Lecture Notes in Computer Science, Vol.
217), pages 236-256. Berlin: Springer-Verlag, 1986.
1988
- P. Sestoft. Automatic call unfolding in a partial evaluator. In
D. Bjørner, A.P. Ershov, and N.D. Jones, editors, Partial
Evaluation and Mixed Computation, pages 485-506. Amsterdam:
North-Holland, 1988.
- P. Sestoft and H. Søndergaard. A bibliography on partial
evaluation. Sigplan Notices, 23(2):19-27, February 1988.
- P. Sestoft and A.V. Zamulin. Annotated bibliography on partial
evaluation and mixed computation. In D. Bjørner, A.P. Ershov,
and N.D. Jones, editors, Partial Evaluation and Mixed Computation,
pages 589-622. North-Holland, 1988.
- P. Sestoft. Replacing function parameters by global variables.
Master's thesis, DIKU, University of Copenhagen, Denmark, October
1988. Master's thesis no. 254. Available as scanned Postscript
(for printing) or gif images (for on-line viewing).
1989
- P. Sestoft. Replacing function parameters by global variables.
In Fourth International Conference on Functional Programming Languages
and Computer Architecture, Imperial College, London, pages 39-53.
IFIP and ACM, ACM Press, September 1989.
- N.D. Jones, P. Sestoft, and H. Søndergaard. Mix: A
self-applicable partial evaluator for experiments in compiler
generation. Lisp and Symbolic Computation, 2(1):9-50, 1989.
Scanned PDF.
1990
- H. Søndergaard and P. Sestoft. Referential transparency,
definiteness and unfoldability. Acta Informatica, 27:505-517, 1990.
(Reviewed in Computing Reviews 32(3):144-145, 1991, entry 9103-0154).
Scanned PDF.
1991
- C.K. Gomard and P. Sestoft. Globalization and live variables. In
Partial Evaluation and Semantics-Based Program Manipulation, New
Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991),
pages 166-177. ACM, 1991.
- P. Sestoft. Analysis and Efficient Implementation of Functional
Programs. PhD thesis, DIKU, University of Copenhagen, Denmark, 1991.
DIKU Research Report 92/6. Postscript (1.1 MB).
1992
- C.K. Gomard and P. Sestoft. Evaluation order analysis for lazy data
structures. In R. Heldal, C. Kehler Holst, and P. Wadler, editors,
Functional Programming, Glasgow 1991, pages 112-127. Berlin:
Springer-Verlag, 1992.
- C.K. Gomard and P. Sestoft. Path analysis for lazy data
structures. In M. Bruynooghe and M. Wirsing, editors, Programming
Language Implementation and Logic Programming, 4th International
Symposium, PLILP '92, Leuven, Belgium. (Lecture Notes in Computer
Science, vol. 631), pages 54-68. Berlin: Springer-Verlag, 1992.
- H. Søndergaard and P. Sestoft. Non-determinism in functional
languages. Computer Journal, 35(5):514-523, October 1992.
1993
- Z. Chaochen, M.R. Hansen, and P. Sestoft. Decidability and
undecidability results for duration calculus. In P. Enjalbert,
A. Finkel, and K.W. Wagner, editors, STACS 93. 10th Symposium on
Theoretical Aspects of Computer Science, Würzburg, Germany,
February 1993. (Lecture Notes in Computer Science, vol. 665), pages
58-68. Berlin: Springer-Verlag, 1993.
- L.P. Fischer, S. Hansen, and P. Sestoft. Daisy: Thoughts about
new developments. In U. Dindorp, editor, Møderapport fra
Workshop om Programmeludvikling i Jordbrugsforskningen (Dina notat
17), pages 15-29. DINA KVL, Royal Veterinary and Agricultural
University, Copenhagen, 1993.
- N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and
Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall,
1993. xii + 415 pages. (Reviewed in Computing Reviews 35(7):
346-347, 1994, entry 9407-0420). The full book text in Postscript (2.3 MB) and in PDF (1.7 MB). An online presentation and the FTP directory.
- P. Sestoft. Towards a type system for timed Z. Procos Report
ID/DTH PS 1/1, ProCoS II, ESPRIT BRA 7071, 1993. Department of
Computer Science, Technical University of Denmark.
- J.U. Skakkebæk and P. Sestoft. Checking validity of duration
calculus formulas. ESPRIT project PROCOS II, Department of Computer
Science, Technical University of Denmark, 1993.
1994
- P. Sestoft. Deriving a lazy abstract machine. Technical Report
ID-TR 1994-146, Department of Computer Science, Technical University
of Denmark, 1994. 27 pages.
- P. Sestoft. Grammars and parsing with ML. Lecture notes for 4312,
Department of Computer Science, Technical University of Denmark, 1994.
35 pages.
- P. Sestoft and H. Søndergaard, editors of PEPM'94 workshop
proceedings and special issue of Lisp and Symbolic Computation.
1995
- P. Sestoft. Søgning og sortering. Noter til
Programmering, oktober 1995, Kongelige Veterinær- og
Landbohøjskole, 34 sider. (In Danish).
1996
- P. Sestoft. ML pattern match compilation and partial evaluation.
In Danvy, Glück, and Thiemann (editors): Partial Evaluation. Dagstuhl
Castle, Germany, February 1996. Lecture Notes in Computer Science,
vol. 1110, pages 446-464. Springer-Verlag 1996. Postscript
- P. Sestoft. Standard ML on the Web server: Visualizing Lambda
Calculus Reduction. Working paper, November 1996. Postscript
1997
- P. Sestoft. Deriving a lazy abstract machine. In Journal of
Functional Programming, vol 7, number 3, May 1997, pages 231-264. Postscript,
experimental
implementation in Standard ML.
- T. Mogensen and P. Sestoft. Partial Evaluation. In A. Kent and
J.G. Williams (editors): Encyclopedia of Computer Science and
Technology, vol. 37, pages 247-279. New York: Marcel Dekker, 1997. Postscript
- U. Dindorp and P. Sestoft. The SFD dataset browser. In H. Kure,
I.Thysen, A.R. Kristensen: First European Conference for Information
Technology in Agriculture, Copenhagen, June 1997, pages 69-74.
- M.Tofte et al. Programming with Regions in the ML Kit. Technical
Report DIKU-TR-97/12, DIKU, University of Copenhagen, 1997. Postscript.
1998
- S. Romanenko and P. Sestoft. Moscow ML owner's manual, version
1.43, April 1998. Postscript.
- S. Romanenko and P. Sestoft. Moscow ML language overview,
version 1.43, April 1998. Postscript.
- S. Diehl and P. Sestoft (editors): Workshop on Principles of
Abstract Machines. Pisa, Italy, September 1998. Technical report A
05/98, Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany.
1999
-
Simon Mørk, Ken Larsen, Henrik Reif Andersen, Peter Sestoft: PMC: A
programming language for embedded systems. Fourth International
Workshop on Formal Methods for Industrial Critical Systems, Trento,
Italy, July 1999.
2000
- S. Diehl, P. Hartel and P. Sestoft: Abstract machines for
programming language implementation, Future Generation
Computer Systems, 16,7 (May 2000) 739-751.
- S. Romanenko, C. Russo and P. Sestoft: Moscow ML Language
Overview, version 2.00, June 2000, 24 pages.
PDF
- S. Romanenko, C. Russo and P. Sestoft: Moscow ML Owner's
Manual, version 2.00, June 2000, 35 pages. PDF
- S. Romanenko, C. Russo and P. Sestoft: Moscow ML Library
Documentation, version 2.00, June 2000, 170 pages. PDF.
- P. Theil, H. Jørgensen, K. Jakobsen, P. Sestoft,
A.-H. Tauson and A. Chwalbog: Relation between oxygen consumption
and heart rate in four breeds of pigs measured in short- and
long-term changes of environmental temperature, Poster at 15th
Energy Symposium, Snekkersten, Denmark, September 2000.
- P. Sestoft: Udformning af rapporter.
IT-Universitetet, 2000-05-01, 3 sider. Also, English translation by Noah Torp-Smith.
2001
2002
- P. Sestoft: Java Precisely. The MIT
Press, June 2002.
- A. Wasowski and P. Sestoft: On the Formal Semantics of
VisualSTATE Statecharts. Technical report TR-2002-19, IT University
of Copenhagen, Denmark, September 2002. In PDF
- A. Wasowski and P. Sestoft: Compile-time Scope Resolution
for Statechart Transitions. Workshop on Critical Systems Development
with UML, September 2002, Dresden, Germany.
- P. Sestoft: Runtime Code Generation with JVM and CLR. Paper in PDF, and list of example programs.
- P. Sestoft: Demonstrating Lambda Calculus Reduction. In
T. Mogensen, D. Schmidt, I. H. Sudburough (editors): The Essence of
Computation: Complexity, Analysis, Transformation. Essays Dedicated
to Neil D. Jones. Lecture Notes in Computer Science 2566, pages
420-435. Springer-Verlag 2002. Paper in PDF. Implementation source
code and Web interface.
- Eva Danielsen, Lars Elkjær Jørgensen, Peter Sestoft:
Monte Carlo Simulations of PAC-spectra as a general approach to
dynamic interactions. Hyperfine Interactions 142 (3-4): 607-626.
2003
- T. Thorn, A. Baumann, M. Fennestad and P. Sestoft: A
peer-to-peer, value-oriented XML Store. IT University of Copenhagen,
Technical Report ITU-TR-2003-27. May 2003.
PDF
- P. Sestoft. Searching and sorting with
Java (PDF). Lecture notes, 44 pages. English version 1.04, 2003.
- Java Performance. Reducing time and space consumption. KVL and
ITU. Version 2.0 (updated 2005-04-13), 11 pages. PDF
2004
-
Peter Sestoft and Henrik Hansen: C#
Precisely. The MIT Press, October 2004, x+204 pages. (Reviewed
in Computing Reviews, review CR131622, entry 0606-0570).
-
Anne Louise Gimsing, Ole K. Borggaard, Peter Sestoft: Modeling the
kinetics of the competitive adsorption and desorption of glyphosate
and phosphate on goethite and gibbsite and in soils. Environmental
Science and Technology. 2004 Mar 15;38(6):1718-22. American Chemical
Society.
2005
2006
- P. Sestoft (editor):
Programming Languages and Systems. 15th European Symposium on
Programming, ESOP 2006, Vienna, Austria. Lecture Notes in Computer
Science, vol. 3924, 343 pages, Springer-Verlag 2006. ISBN 354033095X.
The book's page at
Springer-Verlag and at Amazon.com.
- N. Kokholm and P. Sestoft: The C5 Generic Collection Library
for C# and CLI. Technical Report ITU-TR-2006-76. IT University of
Copenhagen, January 2006, ii+252 pages. ISBN 87-7949-114-6. Get it
from the C5 library website.
- M. Larsen og P. Sestoft: Noter om R og
Noter om Regneark, version 2. Undervisningsmateriale til Matematik og
Databehandling. iv+130 sider. Institut for Grundvidenskab, KVL,
august 2006.
- Peter Sestoft: A Spreadsheet Core Implementation in C#. IT
University of Copenhagen Technical Report ITU-TR-2006-91. IT
University of Copenhagen, September 2006, ii+135 pages. ISBN
87-7949-135-9. Get it from the CoreCalc
website.
- Anders Ringgaard Kristensen and Peter Sestoft: The Dina Research
School, 1997-2006. Dina notat 112, October 2006. In PDF.
- Peter Sestoft: Center for Bioinformatik, KVL: Beretning
2004-2006, KVL 2. november 2006, 11 sider, PDF.
Peter Sestoft (sestoft@dina.kvl.dk) 2006-12-09