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: | Grewe, Sylvia |
---|---|
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) |
Similar Items
-
Use of domain-specific language in test automation
by: Hussain, Ambreen
Published: (2013) -
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages
by: Tuong, Frédéric
Published: (2016) -
A new domain specific scripting language for automated machine learning pipeline
by: Baharun, N., et al.
Published: (2019) -
These are the echoes: Sound Proof 2008-2012
by: Monica Biagioli
Published: (2014-11-01) -
Automated speech analysis to improve TMS-based language mapping: Algorithm and proof of concept
by: Laura Seynaeve, et al.
Published: (2020-01-01)