Modular and automated type-soundness verification for language extensions

From MaRDI portal

Revision as of 19:22, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5244815

Jump to:navigation, search

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 verification type soundness macros metaprogramming language extensibility SugarJ

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)

This page was built for publication: Modular and automated type-soundness verification for language extensions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5244815&oldid=19873751"