Peter Sestoft - RankMe

52 papers A 5B 2C 4Journal 14Unranked 20

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