Modular and automated type-soundness verification for language extensions

DOI10.1145/2500365.2500596zbMath1323.68218OpenAlexW2080863863MaRDI QIDQ5244815

Florian Lorenzen, Sebastian Erdweg

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.723.3402

zbMATH Keywords

automatic verificationtype soundnessmacrosmetaprogramminglanguage extensibilitySugarJ

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)