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

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

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

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

    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

    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

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

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

Previous 1 2 3 Next

ID: 272349