Peter Sestoft

According to our database, Peter Sestoft authored at least 46 papers between 1985 and 2024.

Collaborative distances:

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

2024

The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution).

Peter Sestoft, Harald Søndergaard

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2022

On the cost semantics for spreadsheets with sheet-defined functions.

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen

J. Comput. Lang., 2022

2021

Co-designing DSL quality assurance measures for and with non-programming experts.

Holger Stadel Borum, Christoph Seidl, Peter Sestoft

Proceedings of the DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2021

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains.

Holger Stadel Borum, Henning Niss, Peter Sestoft

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

On the semantics for spreadsheets with sheet-defined functions.

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen

J. Comput. Lang., 2020

2018

Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs.

Florian Biermann, Wensheng Dou, Peter Sestoft

Proceedings of the Practical Aspects of Declarative Languages, 2018

Programming Language Specification and Implementation.

Peter Sestoft

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Programming Language Concepts, Second Edition

Peter Sestoft

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-319-60788-7, 2017

Quad Ropes: immutable, declarative arrays with parallelizable operations.

Florian Biermann, Peter Sestoft

Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

2015

2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015).

Felienne Hermans, Richard F. Paige, Peter Sestoft

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Pension reserve computations on GPUs.

Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

Early Nordic Compilers and Autocodes.

Peter Sestoft

Proceedings of the History of Nordic Computing 4 - 4th IFIP WG 9.7 Conference, 2014

2013

Online partial evaluation of sheet-defined functions.

Peter Sestoft

Proceedings of the Semantics, 2013

Sheet-Defined Functions: Implementation and Initial Evaluation.

Peter Sestoft, Jens Zeilund Sørensen

Proceedings of the End-User Development - 4th International Symposium, 2013

2012

Formalized Verification of Snapshotable Trees: Separation and Sharing.

Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Programming Language Concepts.

Peter Sestoft

Undergraduate Topics in Computer Science 50, Springer, ISBN: 978-1-4471-4155-6, 2012

2011

Modular Verification of Linked Lists with Views via Separation Logic.

Jonas Braband Jensen, Lars Birkedal, Peter Sestoft

J. Object Technol., 2011

2008

Programming language concepts for software developers.

Peter Sestoft

ACM SIGPLAN Notices, 2008

Editorial.

Julia Lawall, Michael Leuschel, Peter Sestoft

High. Order Symb. Comput., 2008

Implementing function spreadsheets.

Peter Sestoft

Proceedings of the 4th international workshop on End-user software engineering, 2008

Flow Analysis of Code Customizations.

Anders Hessellund, Peter Sestoft

Proceedings of the ECOOP 2008, 2008

2007

Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution.

Peter Sestoft, Sebastien Vaucouleur

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Zero-Overhead Composable Aspects for .NET.

Rasmus Johansen, Peter Sestoft, Stephan Spangenberg

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

C# annotated standard.

Jon Jagger, Nigel Perry, Peter Sestoft

Morgan Kaufmann, ISBN: 978-0-12-372511-0, 2007

2005

Java Precisely (2. ed.).

Peter Sestoft

MIT Press, ISBN: 978-0-262-69325-7, 2005

2004

C# precisely.

Peter Sestoft, Henrik I. Hansen

AAAI Press, ISBN: 978-0-262-69317-2, 2004

2001

Demonstrating Lambda Calculus Reduction.

Peter Sestoft

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

2000

Abstract machines for programming language implementation.

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

Future Gener. Comput. Syst., 2000

Principles of abstract machines.

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

Future Gener. Comput. Syst., 2000

1998

Partial Evaluation for the Lambda Calculus.

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

1997

Deriving a Lazy Abstract Machine.

Peter Sestoft

J. Funct. Program., 1997

1996

MK Pattern Match Compilation and Partial Evaluation.

Peter Sestoft

Proceedings of the Partial Evaluation, International Seminar, 1996

1993

Decidability and Undecidability Results for Duration Calculus.

Zhou Chaochen, Michael R. Hansen, Peter Sestoft

Proceedings of the STACS 93, 1993

Partial evaluation and automatic program generation.

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-020249-9, 1993

1992

Non-Determinism in Functional Languages.

Harald Søndergaard, Peter Sestoft

Comput. J., 1992

Path Analysis for Lazy Data Structures.

Carsten K. Gomard, Peter Sestoft

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Globalization and Live Variables.

Carsten K. Gomard, Peter Sestoft

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Evaluation Order Analysis for Lazy Data Structures.

Carsten K. Gomard, Peter Sestoft

Proceedings of the Functional Programming, 1991

1990

Referential Transparency, Definiteness and Unfoldability.

Harald Søndergaard, Peter Sestoft

Acta Informatica, 1990

1989

Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation.

Neil D. Jones, Peter Sestoft, Harald Søndergaard

LISP Symb. Comput., 1989

Replacing Function Parameters by Global Variables.

Peter Sestoft

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

A bibliography on partial evaluation.

Peter Sestoft, Harald Søndergaard

ACM SIGPLAN Notices, 1988

Annotated Bibliography on Partial Evaluation and Mixed Computation.

Peter Sestoft, Alexandre V. Zamulin

New Gener. Comput., 1988

1987

MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract).

Neil D. Jones, Peter Sestoft, Harald Søndergaard

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

An experiment in partial evaluation: the generation of a compiler generator.

Neil D. Jones, Peter Sestoft, Harald Søndergaard

ACM SIGPLAN Notices, 1985

The structure of a self-applicable partial evaluator.

Peter Sestoft

Proceedings of the Programs as Data Objects, 1985