Automating Type Soundness Proofs for Domain-Specific Languages
Type systems for static programming languages are supposed to ensure the absence of type errors in code prior to execution. Type systems that meet this expectation are called sound type systems in the literature. In practice, however, many type systems are unsound, i.e. they successfully type-check...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2019
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/9025/1/SylviaGreweDissertation.pdf Grewe, Sylvia <http://tuprints.ulb.tu-darmstadt.de/view/person/Grewe=3ASylvia=3A=3A.html> : Automating Type Soundness Proofs for Domain-Specific Languages. Technische Universität, Darmstadt [Ph.D. Thesis], (2019) |