Peter Sestoft

Peter Sestoft: Programming Language Concepts. Undergraduate topics in computer science, Springer 2012, isbn 978-1-4471-4155-6, pp. I-XIV, 1-278

Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft: Formalized Verification of Snapshotable Trees: Separation and Sharing. VSTTE 2012: 179-195

Jonas Braband Jensen, Lars Birkedal, Peter Sestoft: Modular Verification of Linked Lists with Views via Separation Logic. Journal of Object Technology 10: 2: 1-20 (2011)

Julia L. Lawall, Michael Leuschel, Peter Sestoft: Editorial. Higher-Order and Symbolic Computation 21(1-2): 1-3 (2008)

Peter Sestoft: Programming language concepts for software developers. SIGPLAN Notices 43(11): 119-123 (2008)

Anders Hessellund, Peter Sestoft: Flow Analysis of Code Customizations. ECOOP 2008: 285-308

Jon Jagger, Nigel Perry, Peter Sestoft: C# annotated standard. Morgan Kaufmann 2007, isbn 978-0-12-372511-0, pp. I-XXXII, 1-825

Rasmus Johansen, Peter Sestoft, Stephan Spangenberg: Zero-Overhead Composable Aspects for .NET. Lipari Summer School 2007: 185-215

Peter Sestoft, Sebastien Vaucouleur: Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. Lipari Summer School 2007: 216-253

Peter Sestoft (Ed.): Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3924, Springer 2006, isbn 3-540-33095-X

Peter Sestoft: Java Precisely (2. ed.). MIT Press 2005, isbn 978-0-262-69325-7, pp. I-VIII, 1-157

Peter Sestoft, Henrik I. Hansen: C# precisely. AAAI Press 2004, isbn 978-0-262-69317-2, pp. I-VIII, 1-204

Nevin Heintze, Peter Sestoft (Eds.): Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. ACM 2004, isbn 1-58113-835-0

Peter Sestoft: Demonstrating Lambda Calculus Reduction. The Essence of Computation 2002: 420-435

Peter Sestoft: Demonstrating Lambda Calculus Reduction. Electr. Notes Theor. Comput. Sci. 45: 424-432 (2001)

Stephan Diehl, Pieter H. Hartel, Peter Sestoft: Principles of abstract machines. Future Generation Comp. Syst. 16(7) (2000)

Stephan Diehl, Pieter H. Hartel, Peter Sestoft: Abstract machines for programming language implementation. Future Generation Comp. Syst. 16(7): 739-751 (2000)

Neil D. Jones, Carsten K. Gomard, Peter Sestoft: Partial Evaluation for the Lambda Calculus. Partial Evaluation 1998: 203-220

Peter Sestoft: Deriving a Lazy Abstract Machine. J. Funct. Program. 7(3): 231-264 (1997)

Peter Sestoft: MK Pattern Match Compilation and Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 446-464

Neil D. Jones, Carsten K. Gomard, Peter Sestoft: Partial evaluation and automatic program generation. Prentice Hall international series in computer science, Prentice Hall 1993, isbn 978-0-13-020249-9, pp. I-XII, 1-415

Zhou Chaochen, Michael R. Hansen, Peter Sestoft: Decidability and Undecidability Results for Duration Calculus. STACS 1993: 58-68

Harald Søndergaard, Peter Sestoft: Non-Determinism in Functional Languages. Comput. J. 35(5): 514-523 (1992)

Carsten K. Gomard, Peter Sestoft: Path Analysis for Lazy Data Structures. PLILP 1992: 54-68

Carsten K. Gomard, Peter Sestoft: Evaluation Order Analysis for Lazy Data Structures. Functional Programming 1991: 112-127

Carsten K. Gomard, Peter Sestoft: Globalization and Live Variables. PEPM 1991: 166-177

Harald Søndergaard, Peter Sestoft: Referential Transparency, Definiteness and Unfoldability. Acta Inf. 27(6): 505-517 (1989)

Neil D. Jones, Peter Sestoft, Harald Søndergaard: Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. Lisp and Symbolic Computation 2(1): 9-50 (1989)

Peter Sestoft: Replacing Function Parameters by Global Variables. FPCA 1989: 39-53

Peter Sestoft, Alexandre V. Zamulin: Annotated Bibliography on Partial Evaluation and Mixed Computation. New Generation Comput. 6(2&3): 309-354 (1988)

Peter Sestoft, Harald Søndergaard: A bibliography on partial evaluation. SIGPLAN Notices 23(2): 19-26 (1988)

Neil D. Jones, Peter Sestoft, Harald Søndergaard: MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). MFPS 1987: 386-413

Peter Sestoft: The structure of a self-applicable partial evaluator. Programs as Data Objects 1985: 236-256

Neil D. Jones, Peter Sestoft, Harald Søndergaard: An Experiment in Partial Evaluation: The Generation of a Compiler Generator. RTA 1985: 124-140