Peter Sestoft
Head of Department
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4F11-4T11
Information Desk: 72185000
- 2021
- Published
Co-designing DSL quality assurance measures for and with non-programming experts
Borum, H. S., Seidl, C. & Sestoft, P., 18 Oct 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, p. 31-40 10 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
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, p. 227-238 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 2020
- 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 Journal › Journal article › Research › peer-review
- 2018
- Published
Concrete and Abstract Cost Semantics for Spreadsheets
Bock, A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. 63 p. (ITU Technical Report Series; No. TR-2018-203).Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
- Published
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. (eds.). Springer, p. 162-183 22 p. (Lecture Notes in Computer Science, Vol. 11244).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Spreadsheet Patents
Borum, H. S., Kirkbro, M. E. & Sestoft, P., 2018, Version 1.0 of 2018-05-04 ed. Copenhagen, Denmark: IT University of Copenhagen. 62 p. (IT University Technical Report Series; No. TR-2018-200).Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
- 2017
- Published
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, p. 20-35 16 p. (Lecture Notes in Computer Science, Vol. 10702).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Programming Language Concepts. Second edition. With a chapter by Niels Hallenberg
Sestoft, P. & Hallenberg, N., Sep 2017, Springer. 341 p. (Undergraduate topics in computer science).Research output: Book / Anthology / Report / Ph.D. thesis › Book › Education › peer-review
- Published
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, p. 1-8 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 2016
- Published
Calculatrices digitales: Du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme
Böhm, C. & Sestoft, P. (Translator), 4 May 2016, 50 p.Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
ID: 272349