Formally specified type checkers for domain specific languages : experience report

M.G.J. Brand, van den; A.P. Meer, van der; A. Serebrenik; A.T. Hofkamp

doi:10.1145/1868281.1868293

Formally specified type checkers for domain specific languages : experience report

M.G.J. Brand, van den, A.P. Meer, van der, A. Serebrenik, A.T. Hofkamp

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Abstract

An important part of the usability of a programming or specification language lies in the presence of supporting tools that are provided with the language, e.g., compilers, debuggers and simulators. Development of such tools for domain-specific languages imposes a number of specific requirements pertaining to evolvability of the tools and suitability of these tools for domain experts with little or no programming experience. We developed an MSOS-based approach to automatic generation of formally specified type checkers for these languages. Our approach has been applied to Chi, a high level specification language for describing concurrent systems. The resulting type checker has been successfully integrated in the tool chain of the Chi language.

Original language	English
Title of host publication	Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010)
Publisher	Association for Computing Machinery, Inc
Pages	12-1/7
ISBN (Print)	978-1-4503-0063-6
DOIs	https://doi.org/10.1145/1868281.1868293
Publication status	Published - 2010

Access to Document

10.1145/1868281.1868293

Cite this

Brand, van den, M. G. J., Meer, van der, A. P., Serebrenik, A., & Hofkamp, A. T. (2010). Formally specified type checkers for domain specific languages : experience report. In Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010) (pp. 12-1/7). Association for Computing Machinery, Inc. https://doi.org/10.1145/1868281.1868293

@inproceedings{922fa5b47c04496091e806ee95462414,

title = "Formally specified type checkers for domain specific languages : experience report",

abstract = "An important part of the usability of a programming or specification language lies in the presence of supporting tools that are provided with the language, e.g., compilers, debuggers and simulators. Development of such tools for domain-specific languages imposes a number of specific requirements pertaining to evolvability of the tools and suitability of these tools for domain experts with little or no programming experience. We developed an MSOS-based approach to automatic generation of formally specified type checkers for these languages. Our approach has been applied to Chi, a high level specification language for describing concurrent systems. The resulting type checker has been successfully integrated in the tool chain of the Chi language.",

author = "{Brand, van den}, M.G.J. and {Meer, van der}, A.P. and A. Serebrenik and A.T. Hofkamp",

year = "2010",

doi = "10.1145/1868281.1868293",

language = "English",

isbn = "978-1-4503-0063-6",

pages = "12--1/7",

booktitle = "Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010)",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

Brand, van den, MGJ, Meer, van der, AP, Serebrenik, A & Hofkamp, AT 2010, Formally specified type checkers for domain specific languages : experience report. in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010). Association for Computing Machinery, Inc, pp. 12-1/7. https://doi.org/10.1145/1868281.1868293

Formally specified type checkers for domain specific languages : experience report. / Brand, van den, M.G.J.; Meer, van der, A.P.; Serebrenik, A. et al.
Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010). Association for Computing Machinery, Inc, 2010. p. 12-1/7.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formally specified type checkers for domain specific languages : experience report

AU - Brand, van den, M.G.J.

AU - Meer, van der, A.P.

AU - Serebrenik, A.

AU - Hofkamp, A.T.

PY - 2010

Y1 - 2010

N2 - An important part of the usability of a programming or specification language lies in the presence of supporting tools that are provided with the language, e.g., compilers, debuggers and simulators. Development of such tools for domain-specific languages imposes a number of specific requirements pertaining to evolvability of the tools and suitability of these tools for domain experts with little or no programming experience. We developed an MSOS-based approach to automatic generation of formally specified type checkers for these languages. Our approach has been applied to Chi, a high level specification language for describing concurrent systems. The resulting type checker has been successfully integrated in the tool chain of the Chi language.

AB - An important part of the usability of a programming or specification language lies in the presence of supporting tools that are provided with the language, e.g., compilers, debuggers and simulators. Development of such tools for domain-specific languages imposes a number of specific requirements pertaining to evolvability of the tools and suitability of these tools for domain experts with little or no programming experience. We developed an MSOS-based approach to automatic generation of formally specified type checkers for these languages. Our approach has been applied to Chi, a high level specification language for describing concurrent systems. The resulting type checker has been successfully integrated in the tool chain of the Chi language.

U2 - 10.1145/1868281.1868293

DO - 10.1145/1868281.1868293

M3 - Conference contribution

SN - 978-1-4503-0063-6

SP - 12-1/7

BT - Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010)

PB - Association for Computing Machinery, Inc

ER -

Formally specified type checkers for domain specific languages : experience report

Abstract

Access to Document

Fingerprint

Cite this