Billede af Peter Sestoft

Peter Sestoft

 https://orcid.org/0000-0002-5843-6021

  • EHK 4F25-4T089

1999 …2025

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2024

    The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation: Invited Contribution)

    Sestoft, P. & Søndergaard, H., 11 jan. 2024, 2024 ACM SIGPLAN International Work- shop on Partial Evaluation and Program Manipulation (PEPM ’24). Association for Computing Machinery, s. 1-13 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2021

    Co-designing DSL quality assurance measures for and with non-programming experts

    Borum, H. S., Seidl, C. & Sestoft, P., 18 okt. 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, s. 31-40 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • 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, s. 227-238 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2018

    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. (red.). Springer, s. 162-183 22 s. (Lecture Notes in Computer Science, Bind 11244).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2017

    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, s. 1-8 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 10702).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2015

    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. (red.). Springer, s. 350-366 17 s. (IFIP AICT - Advances in Information and Communication technology, Bind 447).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2013

    Sheet-defined functions: implementation and initial evaluation

    Sestoft, P., 2013, International Symposium on End-User Development, Copenhagen, Denmark, June 2013. Springer, s. 88-103 (Lecture Notes in Computer Science, Bind 7897).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 2012

    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, Bind 7152. s. 179-195 15 s. (Lecture Notes in Computer Science, Bind 7152).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil
  • 2010

    Modular verification of linked lists with views via separation logic

    Bidragets oversatte titel: Modulær verifikation af "linked lists with views" via separationslogikJensen, 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, s. 4:1--4:7 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 2008

    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, s. 91-94

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review