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. Journal article › Research › Peer-reviewed
  2. 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

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

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

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

  6. Conference article › Research › Peer-reviewed
  7. 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

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

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

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

  11. Book › Research › Peer-reviewed
  12. 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

  13. Published

    Java Precisely: Third edition

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

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

Previous 1 2 3 Next

ID: 272349