Formally specified type checkers for domain specific languages: experience report

Authors:
M. G. J. van den Brand;A. P. van der Meer;A. Serebrenik;A. T. Hofkamp
Affiliations:
Eindhoven University of Technology, MB Eindhoven, The Netherlands;Eindhoven University of Technology, MB Eindhoven, The Netherlands;Eindhoven University of Technology, MB Eindhoven, The Netherlands;Eindhoven University of Technology, MB Eindhoven, The Netherlands
Venue:
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Year:
2010

Citing 21
Cited 2

Denotational semantics: a methodology for language development

Denotational semantics: a methodology for language development
Action semantics

Action semantics
Safe and decidable type checking in an object-oriented language

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Prolog: the standard: reference manual

Prolog: the standard: reference manual
Types and programming languages

Types and programming languages
An Attribute Grammar for the Semantic Analysis of ADA

An Attribute Grammar for the Semantic Analysis of ADA
Compiling Natural Semantics

Compiling Natural Semantics
Compiling language definitions: the ASF+SDF compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling TYPOL with Attribute Grammars

PLILP '88 Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming
Revitalizing Modifiability of Legacy Assets

CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
TinkerType: a language for playing with formal systems

Journal of Functional Programming
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering

Proceedings of the 5th international conference on Generative programming and component engineering
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming
Implicit Propagation in Structural Operational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)
The Graph Programming Language GP

CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Co-transformations in Information System Reengineering

Electronic Notes in Theoretical Computer Science (ENTCS)
Tom: piggybacking rewriting on java

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Type checking evolving languages with MSOS

Semantics and algebraic specification
Typing haskell with an attribute grammar

AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Modular name analysis for java using jastadd

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Traceability visualization in model transformations with tracevis

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
MDE basics with a DSL focus

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

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., type checkers, debuggers and simulators. Development of such tools for domain-specific languages imposes a number of specific evolvability requirements. Our contribution is twofold: First, we present an MSOS-based approach to automatic generation of formally specified type checkers for domain-specific languages. Second, we report on the application of our approach 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.