Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Peter Sestoft
@inproceedings{DBLP:conf/pepm/SestoftS24, author = {Peter Sestoft and Harald S{\o}ndergaard}, editor = {Gabriele Keller and Meng Wang}, title = {The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)}, booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2024, London, UK, 16 January 2024}, pages = {1--13}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3635800.3637445}, doi = {10.1145/3635800.3637445}, timestamp = {Fri, 12 Jan 2024 11:03:54 +0100}, biburl = {https://dblp.org/rec/conf/pepm/SestoftS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/BockBSTT22, author = {Alexander Asp Bock and Thomas B{\o}gholm and Peter Sestoft and Bent Thomsen and Lone Leth Thomsen}, title = {On the cost semantics for spreadsheets with sheet-defined functions}, journal = {J. Comput. Lang.}, volume = {69}, pages = {101103}, year = {2022}, url = {https://doi.org/10.1016/j.cola.2022.101103}, doi = {10.1016/J.COLA.2022.101103}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/vlc/BockBSTT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BorumNS21, author = {Holger Stadel Borum and Henning Niss and Peter Sestoft}, title = {On Designing Applied DSLs for Non-Programming Experts in Evolving Domains}, booktitle = {24th International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021}, pages = {227--238}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/MODELS50736.2021.00031}, doi = {10.1109/MODELS50736.2021.00031}, timestamp = {Wed, 23 Feb 2022 10:19:29 +0100}, biburl = {https://dblp.org/rec/conf/models/BorumNS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/Borum0S21, author = {Holger Stadel Borum and Christoph Seidl and Peter Sestoft}, editor = {Jeff Gray and Matti Rossi and Jonathan Sprinkle and Juha{-}Pekka Tolvanen}, title = {Co-designing {DSL} quality assurance measures for and with non-programming experts}, booktitle = {{DSM} 2021: Proceedings of the 18th {ACM} {SIGPLAN} International Workshop on Domain-Specific Modeling, Chicago, IL, USA, 18 October 2021}, pages = {31--40}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3486603.3486776}, doi = {10.1145/3486603.3486776}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/oopsla/Borum0S21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/BockBSTT20, author = {Alexander Asp Bock and Thomas B{\o}gholm and Peter Sestoft and Bent Thomsen and Lone Leth Thomsen}, title = {On the semantics for spreadsheets with sheet-defined functions}, journal = {J. Comput. Lang.}, volume = {57}, pages = {100960}, year = {2020}, url = {https://doi.org/10.1016/j.cola.2020.100960}, doi = {10.1016/J.COLA.2020.100960}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/BockBSTT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/Sestoft18, author = {Peter Sestoft}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Programming Language Specification and Implementation}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11244}, pages = {162--183}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03418-4\_11}, doi = {10.1007/978-3-030-03418-4\_11}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/Sestoft18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/BiermannDS18, author = {Florian Biermann and Wensheng Dou and Peter Sestoft}, editor = {Francesco Calimeri and Kevin W. Hamlen and Nicola Leone}, title = {Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs}, booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium, {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10702}, pages = {20--35}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-73305-0\_2}, doi = {10.1007/978-3-319-73305-0\_2}, timestamp = {Fri, 27 Mar 2020 08:57:16 +0100}, biburl = {https://dblp.org/rec/conf/padl/BiermannDS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/utcs/Sestoft17, author = {Peter Sestoft}, title = {Programming Language Concepts, Second Edition}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60789-4}, doi = {10.1007/978-3-319-60789-4}, isbn = {978-3-319-60788-7}, timestamp = {Fri, 08 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/utcs/Sestoft17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/BiermannS17, author = {Florian Biermann and Peter Sestoft}, editor = {Martin Elsman and Clemens Grelck and Andreas Kl{\"{o}}ckner and David A. Padua and Edgar Solomonik}, title = {Quad Ropes: immutable, declarative arrays with parallelizable operations}, booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2017, Barcelona, Spain, June 18, 2017}, pages = {1--8}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3091966.3091971}, doi = {10.1145/3091966.3091971}, timestamp = {Tue, 06 Nov 2018 16:59:30 +0100}, biburl = {https://dblp.org/rec/conf/pldi/BiermannS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HermansPS15, author = {Felienne Hermans and Richard F. Paige and Peter Sestoft}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {2nd International Workshop on Software Engineering Methods in Spreadsheets {(SEMS} 2015)}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2}, pages = {1005--1006}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.325}, doi = {10.1109/ICSE.2015.325}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HermansPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2015sems, editor = {Felienne Hermans and Richard F. Paige and Peter Sestoft}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1355}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1355}, urn = {urn:nbn:de:0074-1355-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/2015sems.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hinc/Sestoft14, author = {Peter Sestoft}, editor = {Christian Gram and Per Rasmussen and S{\o}ren Duus {\O}stergaard}, title = {Early Nordic Compilers and Autocodes}, booktitle = {History of Nordic Computing 4 - 4th {IFIP} {WG} 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {447}, pages = {350--366}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17145-6\_36}, doi = {10.1007/978-3-319-17145-6\_36}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hinc/Sestoft14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HarringtonDSC14, author = {Christian Harrington and Nicolai Dahl and Peter Sestoft and David Raymond Christiansen}, editor = {Jost Berthold and Mary Sheeran and Ryan Newton}, title = {Pension reserve computations on GPUs}, booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014}, pages = {3--10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2636228.2636230}, doi = {10.1145/2636228.2636230}, timestamp = {Tue, 06 Nov 2018 16:59:25 +0100}, biburl = {https://dblp.org/rec/conf/icfp/HarringtonDSC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iseud/SestoftS13, author = {Peter Sestoft and Jens Zeilund S{\o}rensen}, editor = {Yvonne Dittrich and Margaret M. Burnett and Anders I. M{\o}rch and David F. Redmiles}, title = {Sheet-Defined Functions: Implementation and Initial Evaluation}, booktitle = {End-User Development - 4th International Symposium, {IS-EUD} 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7897}, pages = {88--103}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38706-7\_8}, doi = {10.1007/978-3-642-38706-7\_8}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/iseud/SestoftS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Sestoft13, author = {Peter Sestoft}, editor = {Anindya Banerjee and Olivier Danvy and Kyung{-}Goo Doh and John Hatcliff}, title = {Online partial evaluation of sheet-defined functions}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013}, series = {{EPTCS}}, volume = {129}, pages = {136--160}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.129.10}, doi = {10.4204/EPTCS.129.10}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/Sestoft13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0029947, author = {Peter Sestoft}, title = {Programming Language Concepts}, series = {Undergraduate Topics in Computer Science}, volume = {50}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-1-4471-4156-3}, doi = {10.1007/978-1-4471-4156-3}, isbn = {978-1-4471-4155-6}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0029947.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/MehnertSBS12, author = {Hannes Mehnert and Filip Sieczkowski and Lars Birkedal and Peter Sestoft}, editor = {Rajeev Joshi and Peter M{\"{u}}ller and Andreas Podelski}, title = {Formalized Verification of Snapshotable Trees: Separation and Sharing}, booktitle = {Verified Software: Theories, Tools, Experiments - 4th International Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7152}, pages = {179--195}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27705-4\_15}, doi = {10.1007/978-3-642-27705-4\_15}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/MehnertSBS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/JensenBS11, author = {Jonas Braband Jensen and Lars Birkedal and Peter Sestoft}, title = {Modular Verification of Linked Lists with Views via Separation Logic}, journal = {J. Object Technol.}, volume = {10}, pages = {2: 1--20}, year = {2011}, url = {https://doi.org/10.5381/jot.2011.10.1.a2}, doi = {10.5381/JOT.2011.10.1.A2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/JensenBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/JensenBS10, author = {Jonas Braband Jensen and Lars Birkedal and Peter Sestoft}, title = {Modular verification of linked lists with views via separation logic}, booktitle = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010}, pages = {4:1--4:7}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1924520.1924524}, doi = {10.1145/1924520.1924524}, timestamp = {Tue, 06 Nov 2018 16:59:31 +0100}, biburl = {https://dblp.org/rec/conf/ecoop/JensenBS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/LawallLS08, author = {Julia Lawall and Michael Leuschel and Peter Sestoft}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {1--3}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9029-1}, doi = {10.1007/S10990-008-9029-1}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/LawallLS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/Sestoft08, author = {Peter Sestoft}, title = {Programming language concepts for software developers}, journal = {{ACM} {SIGPLAN} Notices}, volume = {43}, number = {11}, pages = {119--123}, year = {2008}, url = {https://doi.org/10.1145/1480828.1480854}, doi = {10.1145/1480828.1480854}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/Sestoft08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/HessellundS08, author = {Anders Hessellund and Peter Sestoft}, editor = {Jan Vitek}, title = {Flow Analysis of Code Customizations}, booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5142}, pages = {285--308}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70592-5\_13}, doi = {10.1007/978-3-540-70592-5\_13}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/HessellundS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Sestoft08, author = {Peter Sestoft}, editor = {Robin Abraham and Margaret Burnett and Mary Shaw}, title = {Implementing function spreadsheets}, booktitle = {Proceedings of the 4th international workshop on End-user software engineering, {WEUSE} '08, Leipzig, Germany, May 12, 2008}, pages = {91--94}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1370847.1370867}, doi = {10.1145/1370847.1370867}, timestamp = {Tue, 25 Jan 2022 20:30:35 +0100}, biburl = {https://dblp.org/rec/conf/icse/Sestoft08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0022397, author = {Jon Jagger and Nigel Perry and Peter Sestoft}, title = {C{\#} annotated standard}, publisher = {Morgan Kaufmann}, year = {2007}, isbn = {978-0-12-372511-0}, timestamp = {Wed, 23 Mar 2011 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0022397.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lipari/JohansenSS07, author = {Rasmus Johansen and Peter Sestoft and Stephan Spangenberg}, editor = {Egon B{\"{o}}rger and Antonio Cisternino}, title = {Zero-Overhead Composable Aspects for .NET}, booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5316}, pages = {185--215}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-89762-0\_7}, doi = {10.1007/978-3-540-89762-0\_7}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lipari/JohansenSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lipari/SestoftV07, author = {Peter Sestoft and Sebastien Vaucouleur}, editor = {Egon B{\"{o}}rger and Antonio Cisternino}, title = {Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution}, booktitle = {Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {5316}, pages = {216--253}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-89762-0\_8}, doi = {10.1007/978-3-540-89762-0\_8}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lipari/SestoftV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esop/2006, editor = {Peter Sestoft}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {3924}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11693024}, doi = {10.1007/11693024}, isbn = {3-540-33095-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0022398, author = {Peter Sestoft}, title = {Java Precisely {(2.} ed.)}, publisher = {{MIT} Press}, year = {2005}, isbn = {978-0-262-69325-7}, timestamp = {Sun, 06 Feb 2011 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0022398.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0012281, author = {Peter Sestoft and Henrik I. Hansen}, title = {C{\#} precisely}, publisher = {{AAAI} Press}, year = {2004}, isbn = {978-0-262-69317-2}, timestamp = {Thu, 14 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0012281.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/2004, editor = {Nevin Heintze and Peter Sestoft}, title = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004}, publisher = {{ACM}}, year = {2004}, url = {http://dl.acm.org/citation.cfm?id=1014007}, isbn = {1-58113-835-0}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Sestoft02, author = {Peter Sestoft}, editor = {Torben {\AE}. Mogensen and David A. Schmidt and Ivan Hal Sudborough}, title = {Demonstrating Lambda Calculus Reduction}, booktitle = {The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]}, series = {Lecture Notes in Computer Science}, volume = {2566}, pages = {420--435}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36377-7\_19}, doi = {10.1007/3-540-36377-7\_19}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Sestoft02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sestoft01, author = {Peter Sestoft}, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {Demonstrating Lambda Calculus Reduction}, booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {45}, pages = {424--432}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)80973-3}, doi = {10.1016/S1571-0661(04)80973-3}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sestoft01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/DiehlHS00, author = {Stephan Diehl and Pieter H. Hartel and Peter Sestoft}, title = {Principles of abstract machines}, journal = {Future Gener. Comput. Syst.}, volume = {16}, number = {7}, year = {2000}, url = {https://doi.org/10.1016/S0167-739X(99)00087-4}, doi = {10.1016/S0167-739X(99)00087-4}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fgcs/DiehlHS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/DiehlHS00a, author = {Stephan Diehl and Pieter H. Hartel and Peter Sestoft}, title = {Abstract machines for programming language implementation}, journal = {Future Gener. Comput. Syst.}, volume = {16}, number = {7}, pages = {739--751}, year = {2000}, url = {https://doi.org/10.1016/S0167-739X(99)00088-6}, doi = {10.1016/S0167-739X(99)00088-6}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fgcs/DiehlHS00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/JonesGS98, author = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft}, editor = {John Hatcliff and Torben {\AE}. Mogensen and Peter Thiemann}, title = {Partial Evaluation for the Lambda Calculus}, booktitle = {Partial Evaluation - Practice and Theory, {DIKU} 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998}, series = {Lecture Notes in Computer Science}, volume = {1706}, pages = {203--220}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-47018-2\_7}, doi = {10.1007/3-540-47018-2\_7}, timestamp = {Mon, 28 Aug 2023 21:17:45 +0200}, biburl = {https://dblp.org/rec/conf/pepm/JonesGS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Sestoft97, author = {Peter Sestoft}, title = {Deriving a Lazy Abstract Machine}, journal = {J. Funct. Program.}, volume = {7}, number = {3}, pages = {231--264}, year = {1997}, url = {https://doi.org/10.1017/s0956796897002712}, doi = {10.1017/S0956796897002712}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Sestoft97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Sestoft96, author = {Peter Sestoft}, editor = {Olivier Danvy and Robert Gl{\"{u}}ck and Peter Thiemann}, title = {{MK} Pattern Match Compilation and Partial Evaluation}, booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1110}, pages = {446--464}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61580-6\_22}, doi = {10.1007/3-540-61580-6\_22}, timestamp = {Mon, 23 Mar 2020 12:22:51 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/Sestoft96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0072559, author = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft}, title = {Partial evaluation and automatic program generation}, series = {Prentice Hall international series in computer science}, publisher = {Prentice Hall}, year = {1993}, isbn = {978-0-13-020249-9}, timestamp = {Fri, 08 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0072559.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/ChaochenHS93, author = {Zhou Chaochen and Michael R. Hansen and Peter Sestoft}, editor = {Patrice Enjalbert and Alain Finkel and Klaus W. Wagner}, title = {Decidability and Undecidability Results for Duration Calculus}, booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {665}, pages = {58--68}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56503-5\_8}, doi = {10.1007/3-540-56503-5\_8}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/ChaochenHS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/SondergaardS92, author = {Harald S{\o}ndergaard and Peter Sestoft}, title = {Non-Determinism in Functional Languages}, journal = {Comput. J.}, volume = {35}, number = {5}, pages = {514--523}, year = {1992}, url = {https://doi.org/10.1093/comjnl/35.5.514}, doi = {10.1093/COMJNL/35.5.514}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/SondergaardS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/GomardS92, author = {Carsten K. Gomard and Peter Sestoft}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {Path Analysis for Lazy Data Structures}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {54--68}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_127}, doi = {10.1007/3-540-55844-6\_127}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/plilp/GomardS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fp/GomardS91, author = {Carsten K. Gomard and Peter Sestoft}, editor = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler}, title = {Evaluation Order Analysis for Lazy Data Structures}, booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991}, series = {Workshops in Computing}, pages = {112--127}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3196-0\_9}, doi = {10.1007/978-1-4471-3196-0\_9}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/fp/GomardS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/GomardS91, author = {Carsten K. Gomard and Peter Sestoft}, editor = {Charles Consel and Olivier Danvy}, title = {Globalization and Live Variables}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {166--177}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115882}, doi = {10.1145/115865.115882}, timestamp = {Fri, 09 Jul 2021 14:03:46 +0200}, biburl = {https://dblp.org/rec/conf/pepm/GomardS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/SondergaardS89, author = {Harald S{\o}ndergaard and Peter Sestoft}, title = {Referential Transparency, Definiteness and Unfoldability}, journal = {Acta Informatica}, volume = {27}, number = {6}, pages = {505--517}, year = {1990}, url = {https://doi.org/10.1007/BF00277387}, doi = {10.1007/BF00277387}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/SondergaardS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/JonesSS89, author = {Neil D. Jones and Peter Sestoft and Harald S{\o}ndergaard}, title = {Mix: {A} Self-Applicable Partial Evaluator for Experiments in Compiler Generation}, journal = {{LISP} Symb. Comput.}, volume = {2}, number = {1}, pages = {9--50}, year = {1989}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/JonesSS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpca/Sestoft89, author = {Peter Sestoft}, editor = {Joseph E. Stoy}, title = {Replacing Function Parameters by Global Variables}, booktitle = {Proceedings of the fourth international conference on Functional programming languages and computer architecture, {FPCA} 1989, London, UK, September 11-13, 1989}, pages = {39--53}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/99370.99374}, doi = {10.1145/99370.99374}, timestamp = {Tue, 06 Nov 2018 11:07:48 +0100}, biburl = {https://dblp.org/rec/conf/fpca/Sestoft89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/SestoftZ88, author = {Peter Sestoft and Alexandre V. Zamulin}, title = {Annotated Bibliography on Partial Evaluation and Mixed Computation}, journal = {New Gener. Comput.}, volume = {6}, number = {2{\&}3}, pages = {309--354}, year = {1988}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/SestoftZ88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/SestoftS88, author = {Peter Sestoft and Harald S{\o}ndergaard}, title = {A bibliography on partial evaluation}, journal = {{ACM} {SIGPLAN} Notices}, volume = {23}, number = {2}, pages = {19--26}, year = {1988}, url = {https://doi.org/10.1145/43908.43910}, doi = {10.1145/43908.43910}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/SestoftS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/JonesSS87, author = {Neil D. Jones and Peter Sestoft and Harald S{\o}ndergaard}, editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, title = {{MIX:} {A} Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)}, booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {298}, pages = {386--413}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19020-1\_21}, doi = {10.1007/3-540-19020-1\_21}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/mfps/JonesSS87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/JonesSS85, author = {Neil D. Jones and Peter Sestoft and Harald S{\o}ndergaard}, title = {An experiment in partial evaluation: the generation of a compiler generator}, journal = {{ACM} {SIGPLAN} Notices}, volume = {20}, number = {8}, pages = {82--87}, year = {1985}, url = {https://doi.org/10.1145/988346.988358}, doi = {10.1145/988346.988358}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/JonesSS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdo/Sestoft85, author = {Peter Sestoft}, editor = {Harald Ganzinger and Neil D. Jones}, title = {The structure of a self-applicable partial evaluator}, booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985}, series = {Lecture Notes in Computer Science}, volume = {217}, pages = {236--256}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16446-4\_14}, doi = {10.1007/3-540-16446-4\_14}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/pdo/Sestoft85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/JonesSS85, author = {Neil D. Jones and Peter Sestoft and Harald S{\o}ndergaard}, editor = {Jean{-}Pierre Jouannaud}, title = {An Experiment in Partial Evaluation: The Generation of a Compiler Generator}, booktitle = {Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {202}, pages = {124--140}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15976-2\_6}, doi = {10.1007/3-540-15976-2\_6}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/JonesSS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.