Peter Sestoft

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 8

Top Topics

Partial Evaluation

Algebraic Operations

International Workshop

Top Venues

J. Comput. Lang.

Publications

Peter Sestoft, Harald Søndergaard
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). PEPM (2024)
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 69 (2022)
Holger Stadel Borum, Christoph Seidl, Peter Sestoft
Co-designing DSL quality assurance measures for and with non-programming experts. DSM@SPLASH (2021)
Holger Stadel Borum, Henning Niss, Peter Sestoft
On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. MoDELS (2021)
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57 (2020)
Peter Sestoft
Programming Language Specification and Implementation. ISoLA (1) (2018)
Florian Biermann, Wensheng Dou, Peter Sestoft
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. PADL (2018)
Florian Biermann, Peter Sestoft
Quad Ropes: immutable, declarative arrays with parallelizable operations. ARRAY@PLDI (2017)
Felienne Hermans, Richard F. Paige, Peter Sestoft
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). ICSE (2) (2015)
Peter Sestoft
Early Nordic Compilers and Autocodes. History of Nordic Computing (2014)
Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen
Pension reserve computations on GPUs. FHPC@ICFP (2014)
Peter Sestoft, Jens Zeilund Sørensen
Sheet-Defined Functions: Implementation and Initial Evaluation. IS-EUD (2013)
Peter Sestoft
Online partial evaluation of sheet-defined functions. Festschrift for Dave Schmidt (2013)
Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft
Formalized Verification of Snapshotable Trees: Separation and Sharing. VSTTE (2012)
Jonas Braband Jensen, Lars Birkedal, Peter Sestoft
Modular Verification of Linked Lists with Views via Separation Logic. J. Object Technol. 10 (2011)
Jonas Braband Jensen, Lars Birkedal, Peter Sestoft
Modular verification of linked lists with views via separation logic. FTfJP@ECOOP (2010)
Anders Hessellund, Peter Sestoft
Flow Analysis of Code Customizations. ECOOP (2008)
Peter Sestoft
Programming language concepts for software developers. ACM SIGPLAN Notices 43 (11) (2008)
Peter Sestoft
Implementing function spreadsheets. WEUSE@ICSE (2008)
Julia Lawall, Michael Leuschel, Peter Sestoft
Editorial. High. Order Symb. Comput. 21 (1-2) (2008)
Peter Sestoft, Sebastien Vaucouleur
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. Lipari Summer School (2007)
Rasmus Johansen, Peter Sestoft, Stephan Spangenberg
Zero-Overhead Composable Aspects for .NET. Lipari Summer School (2007)
Peter Sestoft
Demonstrating Lambda Calculus Reduction. The Essence of Computation (2002)
Peter Sestoft
Demonstrating Lambda Calculus Reduction. MFPS (2001)
Stephan Diehl, Pieter H. Hartel, Peter Sestoft
Abstract machines for programming language implementation. Future Gener. Comput. Syst. 16 (7) (2000)
Stephan Diehl, Pieter H. Hartel, Peter Sestoft
Principles of abstract machines. Future Gener. Comput. Syst. 16 (7) (2000)
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
Partial Evaluation for the Lambda Calculus. Partial Evaluation (1998)
Peter Sestoft
Deriving a Lazy Abstract Machine. J. Funct. Program. 7 (3) (1997)
Peter Sestoft
MK Pattern Match Compilation and Partial Evaluation. Dagstuhl Seminar on Partial Evaluation (1996)
Zhou Chaochen, Michael R. Hansen, Peter Sestoft
Decidability and Undecidability Results for Duration Calculus. STACS (1993)
Carsten K. Gomard, Peter Sestoft
Path Analysis for Lazy Data Structures. PLILP (1992)
Harald Søndergaard, Peter Sestoft
Non-Determinism in Functional Languages. Comput. J. 35 (5) (1992)
Carsten K. Gomard, Peter Sestoft
Evaluation Order Analysis for Lazy Data Structures. Functional Programming (1991)
Carsten K. Gomard, Peter Sestoft
Globalization and Live Variables. PEPM (1991)
Harald Søndergaard, Peter Sestoft
Referential Transparency, Definiteness and Unfoldability. Acta Informatica 27 (6) (1990)
Peter Sestoft
Replacing Function Parameters by Global Variables. FPCA (1989)
Neil D. Jones, Peter Sestoft, Harald Søndergaard
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. LISP Symb. Comput. 2 (1) (1989)
Peter Sestoft, Alexandre V. Zamulin
Annotated Bibliography on Partial Evaluation and Mixed Computation. New Gener. Comput. 6 (2&3) (1988)
Peter Sestoft, Harald Søndergaard
A bibliography on partial evaluation. ACM SIGPLAN Notices 23 (2) (1988)
Neil D. Jones, Peter Sestoft, Harald Søndergaard
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). MFPS (1987)
Peter Sestoft
The structure of a self-applicable partial evaluator. Programs as Data Objects (1985)
Neil D. Jones, Peter Sestoft, Harald Søndergaard
An experiment in partial evaluation: the generation of a compiler generator. ACM SIGPLAN Notices 20 (8) (1985)
Neil D. Jones, Peter Sestoft, Harald Søndergaard
An Experiment in Partial Evaluation: The Generation of a Compiler Generator. RTA (1985)