Peter Sestoft

According to our database1, Peter Sestoft
  • authored at least 40 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Programming Language Concepts, Second Edition
Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-319-60788-7, 2017

2015
2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Pension reserve computations on GPUs.
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

Early Nordic Compilers and Autocodes.
Proceedings of the History of Nordic Computing 4 - 4th IFIP WG 9.7 Conference, 2014

2013
Online partial evaluation of sheet-defined functions.
Proceedings of the Semantics, 2013

Sheet-Defined Functions: Implementation and Initial Evaluation.
Proceedings of the End-User Development - 4th International Symposium, 2013

2012
Formalized Verification of Snapshotable Trees: Separation and Sharing.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Programming Language Concepts.
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.
Journal of Object Technology, 2011

2010
Modular verification of linked lists with views via separation logic.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2008
Programming language concepts for software developers.
SIGPLAN Notices, 2008

Editorial.
Higher-Order and Symbolic Computation, 2008

Flow Analysis of Code Customizations.
Proceedings of the ECOOP 2008, 2008

2007
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Zero-Overhead Composable Aspects for .NET.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

C# annotated standard.
Morgan Kaufmann, ISBN: 978-0-12-372511-0, 2007

2005
Java Precisely (2. ed.).
MIT Press, ISBN: 978-0-262-69325-7, 2005

2004
C# precisely.
AAAI Press, ISBN: 978-0-262-69317-2, 2004

2002
Demonstrating Lambda Calculus Reduction.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
Demonstrating Lambda Calculus Reduction.
Electr. Notes Theor. Comput. Sci., 2001

2000
Abstract machines for programming language implementation.
Future Generation Comp. Syst., 2000

Principles of abstract machines.
Future Generation Comp. Syst., 2000

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

1997
Deriving a Lazy Abstract Machine.
J. Funct. Program., 1997

1996
MK Pattern Match Compilation and Partial Evaluation.
Proceedings of the Partial Evaluation, International Seminar, 1996

1993
Decidability and Undecidability Results for Duration Calculus.
Proceedings of the STACS 93, 1993

Partial evaluation and automatic program generation.
Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-020249-9, 1993

1992
Non-Determinism in Functional Languages.
Comput. J., 1992

Path Analysis for Lazy Data Structures.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991
Globalization and Live Variables.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Evaluation Order Analysis for Lazy Data Structures.
Proceedings of the Functional Programming, 1991

1990
Referential Transparency, Definiteness and Unfoldability.
Acta Inf., 1990

1989
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation.
Lisp and Symbolic Computation, 1989

Replacing Function Parameters by Global Variables.
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988
A bibliography on partial evaluation.
SIGPLAN Notices, 1988

Annotated Bibliography on Partial Evaluation and Mixed Computation.
New Generation Comput., 1988

1987
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract).
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985
An experiment in partial evaluation: the generation of a compiler generator.
SIGPLAN Notices, 1985

An Experiment in Partial Evaluation: The Generation of a Compiler Generator.
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

The structure of a self-applicable partial evaluator.
Proceedings of the Programs as Data Objects, 1985


  Loading...