ITU
Peter Sestoft

Peter Sestoft

Head of Department

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4F11-4T11

Phone: +45 72185083

Information Desk: 72185000

View graph of relations

  1. Published

    C# Precisely: Second edition

    Sestoft, P. & Hansen, H. I., 2012, Second ed. MIT Press. 258 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearchpeer-review

  2. Published

    Calculatrices digitales: Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme

    Böhm, C. & Sestoft, P. (Translator), 4 May 2016, 50 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  3. Published

    Co-designing DSL quality assurance measures for and with non-programming experts

    Borum, H. S., Seidl, C. & Sestoft, P., 18 Oct 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, p. 31-40 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. Published

    Concrete and Abstract Cost Semantics for Spreadsheets

    Bock, A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. 63 p. (ITU Technical Report Series; No. TR-2018-203).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  5. Published

    Early Nordic compilers and autocodes

    Sestoft, P., 2015, History of Nordic Computing 4: 4th IFIP WG 9.7 Conference, HiNC4. Gram, C., Rasmussen, P. & Østergaard, S. D. (eds.). Springer, p. 350-366 17 p. (IFIP AICT - Advances in Information and Communication technology, Vol. 447).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. Published

    Flow Analysis of Code Customizations

    Hessellund, A. & Sestoft, P., 2008, In: Lecture Notes in Computer Science. p. 285-308

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Published

    Formalized Verification of Snapshotable Trees: Separation and Sharing

    Mehnert, H., Sieczkowski, F., Birkedal, L. & Sestoft, P., 2012, Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer, Vol. 7152. p. 179-195 15 p. (Lecture Notes in Computer Science, Vol. 7152).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  8. Published

    Implementing function spreadsheets

    Sestoft, P., 2008, International Conference on Software Engineering: Proceedings of the 4th international workshop on End-user software engineering. Association for Computing Machinery, p. 91-94

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. Published

    Java Precisely: Third edition

    Sestoft, P., 2016, Third ed. MIT Press. 199 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearchpeer-review

  10. Published

    Microbenchmarks in Java and C#

    Sestoft, P., 2013

    Research output: Other contributionNet publication - Internet publicationEducation

  11. Published

    Modular verification of linked lists with views via separation logic

    Jensen, J. B., Birkedal, L. & Sestoft, P., 31 Dec 2010, Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs. New York, NY, USA: Association for Computing Machinery, p. 4:1--4:7 7 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  12. Published

    Modular Verification of Linked Lists with Views via Separation Logic

    Jensen, J. B., Birkedal, L. & Sestoft, P., Jan 2011, In: Journal of Object Technology. 10, 1, p. 21-40 20 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  13. Published

    On Designing Applied DSLs for Non-programming Experts in Evolving Domains

    Borum, H. S., Niss, H. & Sestoft, P., 2021, Proceedings of 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021. IEEE, p. 227-238 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  14. Published

    On the semantics for spreadsheets with sheet-defined functions

    Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Mar 2020, In: Journal of Computer Languages. 57, 11 p., 100960.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  15. Published

    Online partial evaluation of sheet-defined functions

    Sestoft, P., 2013, In: Electronic Proceedings in Theoretical Computer Science. 129, p. 136-160

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  16. Published

    Organizing research data

    Sestoft, P., 20 Jun 2011, In: Acta Veterinaria Scandinavica (Print). 55, suppl 1, S2

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  17. Published

    Programming language concepts

    Sestoft, P., 2012, Springer. (Undergraduate topics in computer science).

    Research output: Book / Anthology / Report / Ph.D. thesisBookEducationpeer-review

  18. Published

    Programming language concepts for software developers. White paper for SIGPLAN workshop on programming language curriculum, Harvard University, May 29-30 2008.

    Sestoft, P., 2008, In: A C M / S I G P L A N Notices. 11, p. 119-123

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  19. Published

    Programming Language Concepts. Second edition. With a chapter by Niels Hallenberg

    Sestoft, P. & Hallenberg, N., Sep 2017, Springer. 341 p. (Undergraduate topics in computer science).

    Research output: Book / Anthology / Report / Ph.D. thesisBookEducationpeer-review

  20. Published

    Programming language specification and implementation

    Sestoft, P., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling.: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 162-183 22 p. (Lecture Notes in Computer Science, Vol. 11244).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  21. Published

    Quad Ropes: Immutable, Declarative Arrays with Parallelizable Operations

    Biermann, F. & Sestoft, P., 18 Jun 2017, Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming: ARRAY 2017. Association for Computing Machinery, p. 1-8 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  22. Published

    Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs

    Biermann, F., Dou, W. & Sestoft, P., 22 Dec 2017, International Symposium on Practical Aspects of Declarative Languages: PADL 2018: Practical Aspects of Declarative Languages . Springer, p. 20-35 16 p. (Lecture Notes in Computer Science, Vol. 10702).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  23. Published

    Sheet-defined functions: implementation and initial evaluation

    Sestoft, P., 2013, International Symposium on End-User Development, Copenhagen, Denmark, June 2013. Springer VS, p. 88-103 (Lecture Notes in Computer Science, Vol. 7897).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  24. Published

    Spreadsheet implementation technology. Basics and extensions

    Sestoft, P., 2014, MIT Press.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearchpeer-review

  25. Published

    Spreadsheet Patents

    Borum, H. S., Kirkbro, M. E. & Sestoft, P., 2018, Version 1.0 of 2018-05-04 ed. Copenhagen, Denmark: IT University of Copenhagen. 62 p. (IT University Technical Report Series; No. TR-2018-200).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  26. Published

    Spreadsheet technology

    Sestoft, P., 31 Jan 2012, Version 0.12 ed. IT-Universitetet i København. 302 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  27. Published

    Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution

    Sestoft, P. & Vaucouleur, S., 2008, In: Lecture Notes in Computer Science. p. 216-253

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  28. Published

    Zero-Overhead Composable Aspects for .NET

    Johansen, R., Sestoft, P. & Spangenberg, S., 2008, In: Lecture Notes in Computer Science. p. 185-215

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

ID: 272349