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 - 10 out of 28Page size: 10
  1. 2008
  2. 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 Journal › Conference article › Research › peer-review

  3. 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 chapter › Article in proceedings › Research › peer-review

  4. 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 Journal › Conference article › Research › peer-review

  5. 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 Journal › Conference article › Research › peer-review

  6. 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 Journal › Conference article › Research › peer-review

  7. 2010
  8. 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 chapter › Article in proceedings › Research › peer-review

  9. 2011
  10. 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 Journal › Journal article › Research › peer-review

  11. 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 Journal › Journal article › Research › peer-review

  12. 2012
  13. Published

    C# Precisely: Second edition

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

    Research output: Book / Anthology / Report / Ph.D. thesis › Book › Research › peer-review

  14. 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 chapter › Article in proceedings › Research › peer-review

Previous 1 2 3 Next

ID: 272349