A compiler architecture for domain-specific type error diagnosis
Domain-specific languages (DSLs) permeate current programming practices. An important kind of DSLs includes those developed and integrated within a host language, which we call embedded or internal DSLs. Unfortunately, embedded DSLs usually fall short on domain-specific error diagnosis, that is, the...
Main Authors: | Serrano Alejandro, Hage Jurriaan |
---|---|
Format: | Article |
Language: | English |
Published: |
De Gruyter
2019-02-01
|
Series: | Open Computer Science |
Subjects: | |
Online Access: | https://doi.org/10.1515/comp-2019-0002 |
Similar Items
-
A framework for improving error messages in dependently-typed languages
by: Eremondi Joseph, et al.
Published: (2019-01-01) -
A compiler front end for GUARDOL -- a domain-specific language for high assurance guards
by: Hoag, Jonathan
Published: (2011) -
A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications
by: Husein, Mustafa
Published: (2018) -
Associations of Total and Domain-Specific Sedentary Time With Type 2 Diabetes in Taiwanese Older Adults
by: Ming-Chun Hsueh
Published: (2016-07-01) -
Hypothesis testing, type I and type II errors
by: Amitav Banerjee, et al.
Published: (2009-01-01)