![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Peter Sestoft
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c29]Peter Sestoft, Harald Søndergaard
:
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). PEPM 2024: 1-13 - 2022
- [j14]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: 101103 (2022) - 2021
- [c28]Holger Stadel Borum, Henning Niss, Peter Sestoft:
On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. MoDELS 2021: 227-238 - [c27]Holger Stadel Borum
, Christoph Seidl
, Peter Sestoft
:
Co-designing DSL quality assurance measures for and with non-programming experts. DSM@SPLASH 2021: 31-40 - 2020
- [j13]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: 100960 (2020)
2010 – 2019
- 2018
- [c26]Peter Sestoft
:
Programming Language Specification and Implementation. ISoLA (1) 2018: 162-183 - [c25]Florian Biermann
, Wensheng Dou
, Peter Sestoft
:
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. PADL 2018: 20-35 - 2017
- [b6]Peter Sestoft:
Programming Language Concepts, Second Edition. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-60788-7, pp. 1-305 - [c24]Florian Biermann
, Peter Sestoft:
Quad Ropes: immutable, declarative arrays with parallelizable operations. ARRAY@PLDI 2017: 1-8 - 2015
- [c23]Felienne Hermans, Richard F. Paige, Peter Sestoft:
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). ICSE (2) 2015: 1005-1006 - [e3]Felienne Hermans, Richard F. Paige, Peter Sestoft:
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , Florence, Italy, May 18, 2015. CEUR Workshop Proceedings 1355, CEUR-WS.org 2015 [contents] - 2014
- [c22]Peter Sestoft:
Early Nordic Compilers and Autocodes. History of Nordic Computing 2014: 350-366 - [c21]Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen:
Pension reserve computations on GPUs. FHPC@ICFP 2014: 3-10 - 2013
- [c20]Peter Sestoft, Jens Zeilund Sørensen:
Sheet-Defined Functions: Implementation and Initial Evaluation. IS-EUD 2013: 88-103 - [c19]Peter Sestoft:
Online partial evaluation of sheet-defined functions. Festschrift for Dave Schmidt 2013: 136-160 - 2012
- [b5]Peter Sestoft:
Programming Language Concepts. Undergraduate Topics in Computer Science 50, Springer 2012, ISBN 978-1-4471-4155-6, pp. I-XIV, 1-278 - [c18]Hannes Mehnert, Filip Sieczkowski
, Lars Birkedal, Peter Sestoft:
Formalized Verification of Snapshotable Trees: Separation and Sharing. VSTTE 2012: 179-195 - 2011
- [j12]Jonas Braband Jensen, Lars Birkedal, Peter Sestoft:
Modular Verification of Linked Lists with Views via Separation Logic. J. Object Technol. 10: 2: 1-20 (2011) - 2010
- [c17]Jonas Braband Jensen, Lars Birkedal, Peter Sestoft:
Modular verification of linked lists with views via separation logic. FTfJP@ECOOP 2010: 4:1-4:7
2000 – 2009
- 2008
- [j11]Julia Lawall, Michael Leuschel, Peter Sestoft:
Editorial. High. Order Symb. Comput. 21(1-2): 1-3 (2008) - [j10]Peter Sestoft:
Programming language concepts for software developers. ACM SIGPLAN Notices 43(11): 119-123 (2008) - [c16]Anders Hessellund, Peter Sestoft:
Flow Analysis of Code Customizations. ECOOP 2008: 285-308 - [c15]Peter Sestoft:
Implementing function spreadsheets. WEUSE@ICSE 2008: 91-94 - 2007
- [b4]Jon Jagger, Nigel Perry, Peter Sestoft:
C# annotated standard. Morgan Kaufmann 2007, ISBN 978-0-12-372511-0, pp. I-XXXII, 1-825 - [c14]Rasmus Johansen, Peter Sestoft, Stephan Spangenberg:
Zero-Overhead Composable Aspects for .NET. Lipari Summer School 2007: 185-215 - [c13]Peter Sestoft, Sebastien Vaucouleur:
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. Lipari Summer School 2007: 216-253 - 2006
- [e2]Peter Sestoft:
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 [contents] - 2005
- [b3]Peter Sestoft:
Java Precisely (2. ed.). MIT Press 2005, ISBN 978-0-262-69325-7, pp. I-VIII, 1-157 - 2004
- [b2]Peter Sestoft, Henrik I. Hansen:
C# precisely. AAAI Press 2004, ISBN 978-0-262-69317-2, pp. I-VIII, 1-204 - [e1]Nevin Heintze, Peter Sestoft:
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 [contents] - 2002
- [c12]Peter Sestoft:
Demonstrating Lambda Calculus Reduction. The Essence of Computation 2002: 420-435 - 2001
- [c11]Peter Sestoft:
Demonstrating Lambda Calculus Reduction. MFPS 2001: 424-432 - 2000
- [j9]Stephan Diehl, Pieter H. Hartel, Peter Sestoft:
Principles of abstract machines. Future Gener. Comput. Syst. 16(7) (2000) - [j8]Stephan Diehl
, Pieter H. Hartel
, Peter Sestoft:
Abstract machines for programming language implementation. Future Gener. Comput. Syst. 16(7): 739-751 (2000)
1990 – 1999
- 1998
- [c10]Neil D. Jones, Carsten K. Gomard, Peter Sestoft:
Partial Evaluation for the Lambda Calculus. Partial Evaluation 1998: 203-220 - 1997
- [j7]Peter Sestoft:
Deriving a Lazy Abstract Machine. J. Funct. Program. 7(3): 231-264 (1997) - 1996
- [c9]Peter Sestoft:
MK Pattern Match Compilation and Partial Evaluation. Dagstuhl Seminar on Partial Evaluation 1996: 446-464 - 1993
- [b1]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 - [c8]Zhou Chaochen, Michael R. Hansen, Peter Sestoft:
Decidability and Undecidability Results for Duration Calculus. STACS 1993: 58-68 - 1992
- [j6]Harald Søndergaard
, Peter Sestoft:
Non-Determinism in Functional Languages. Comput. J. 35(5): 514-523 (1992) - [c7]Carsten K. Gomard, Peter Sestoft:
Path Analysis for Lazy Data Structures. PLILP 1992: 54-68 - 1991
- [c6]Carsten K. Gomard, Peter Sestoft:
Evaluation Order Analysis for Lazy Data Structures. Functional Programming 1991: 112-127 - [c5]Carsten K. Gomard, Peter Sestoft:
Globalization and Live Variables. PEPM 1991: 166-177 - 1990
- [j5]Harald Søndergaard
, Peter Sestoft:
Referential Transparency, Definiteness and Unfoldability. Acta Informatica 27(6): 505-517 (1990)
1980 – 1989
- 1989
- [j4]Neil D. Jones, Peter Sestoft, Harald Søndergaard:
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. LISP Symb. Comput. 2(1): 9-50 (1989) - [c4]Peter Sestoft:
Replacing Function Parameters by Global Variables. FPCA 1989: 39-53 - 1988
- [j3]Peter Sestoft, Alexandre V. Zamulin:
Annotated Bibliography on Partial Evaluation and Mixed Computation. New Gener. Comput. 6(2&3): 309-354 (1988) - [j2]Peter Sestoft, Harald Søndergaard
:
A bibliography on partial evaluation. ACM SIGPLAN Notices 23(2): 19-26 (1988) - 1987
- [c3]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 - 1985
- [j1]Neil D. Jones, Peter Sestoft, Harald Søndergaard
:
An experiment in partial evaluation: the generation of a compiler generator. ACM SIGPLAN Notices 20(8): 82-87 (1985) - [c2]Peter Sestoft:
The structure of a self-applicable partial evaluator. Programs as Data Objects 1985: 236-256 - [c1]Neil D. Jones, Peter Sestoft, Harald Søndergaard
:
An Experiment in Partial Evaluation: The Generation of a Compiler Generator. RTA 1985: 124-140
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint