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

11 - 20 out of 28Page size: 10
  1. 2016
  2. Published

    Java Precisely: Third edition

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

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

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

  5. 2014
  6. Published

    Spreadsheet implementation technology. Basics and extensions

    Sestoft, P., 2014, MIT Press.

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

  7. 2013
  8. Published

    Microbenchmarks in Java and C#

    Sestoft, P., 2013

    Research output: Other contribution › Net publication - Internet publication › Education

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

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

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

  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

    Programming language concepts

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

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

  15. 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. thesis › Report › Research

Previous 1 2 3 Next

ID: 272349