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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

3 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	Engels
Titel	Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications (LDTA 2010, Paphos, Cyprus, March 27-28, 2010)
Uitgeverij	Association for Computing Machinery, Inc
Pagina's	12-1/7
ISBN van geprinte versie	978-1-4503-0063-6
DOI's	https://doi.org/10.1145/1868281.1868293
Status	Gepubliceerd - 2010

Toegang tot document

10.1145/1868281.1868293

Citeer dit

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) (blz. 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, blz. 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. blz. 12-1/7.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit