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

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

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

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

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

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

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