Type checking evolving languages with MSOS

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

doi:10.1007/978-3-642-04164-8_11

Type checking evolving languages with MSOS

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer 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-2	Engels
Titel	Semantics and Algebraic Specification
Redacteuren	J. Palsberg
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	207-226
ISBN van geprinte versie	978-3-642-04163-1
DOI's	https://doi.org/10.1007/978-3-642-04164-8_11
Status	Gepubliceerd - 2009

Publicatie series

Naam	Lecture notes in computer science
Volume	5700

Toegang tot document

10.1007/978-3-642-04164-8_11

Citeer dit

@inbook{b4030838f8cb4750b4f17e3d7e805aca,

title = "Type checking evolving languages with MSOS",

abstract = "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.",

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

year = "2009",

doi = "10.1007/978-3-642-04164-8\_11",

language = "English",

isbn = "978-3-642-04163-1",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "207--226",

editor = "J. Palsberg",

booktitle = "Semantics and Algebraic Specification",

address = "Germany",

}

TY - CHAP

T1 - Type checking evolving languages with MSOS

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

AU - Meer, van der, A.P.

AU - Serebrenik, A.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-04164-8_11

DO - 10.1007/978-3-642-04164-8_11

M3 - Chapter

SN - 978-3-642-04163-1

T3 - Lecture notes in computer science

SP - 207

EP - 226

BT - Semantics and Algebraic Specification

A2 - Palsberg, J.

PB - Springer

CY - Berlin

ER -

Type checking evolving languages with MSOS

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit