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. Article in proceedings › Research › Peer-reviewed
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. Net publication - Internet publication › Education › Not peer-reviewed
  10. Published

    Microbenchmarks in Java and C#

    Sestoft, P., 2013

    Research output: Other contributionNet publication - Internet publicationEducation

Previous 1 2 3 Next

ID: 272349