Type checking evolving languages with MSOS

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)

Samenvatting

Evolution of programming languages requires co-evolution of static analysis tools designed for these languages. Traditional approaches to static analysis, e.g., those based on Structural Operational Semantics (SOS), assume, however, that the syntax and the semantics of the programming language under consideration are fixed. Language modification is, therefore, likely to cause redevelopment of the analysis techniques and tools. Moreover, the redevelopment cost can discourage the language engineers from improving the language design. To address the co-evolution problem we suggest to base static analyses on modular structural operational semantics (MSOS). By using an intrinsically modular formalism, type rules can be added, removed or modified easily. We illustrate our approach by developing an MSOS-based type analysis technique for Chi, a domain specific language for hybrid systems engineering.
Originele taal-2Engels
TitelSemantics and Algebraic Specification
RedacteurenJ. Palsberg
Plaats van productieBerlin
UitgeverijSpringer
Pagina's207-226
ISBN van geprinte versie978-3-642-04163-1
DOI's
StatusGepubliceerd - 2009

Publicatie series

NaamLecture notes in computer science
Volume5700

Vingerafdruk Duik in de onderzoeksthema's van 'Type checking evolving languages with MSOS'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Brand, van den, M. G. J., Meer, van der, A. P., & Serebrenik, A. (2009). Type checking evolving languages with MSOS. In J. Palsberg (editor), Semantics and Algebraic Specification (blz. 207-226). (Lecture notes in computer science; Vol. 5700). Springer. https://doi.org/10.1007/978-3-642-04164-8_11