Generating a compiler for SDL from the formal language definition

DOI10.1007/3-540-45075-0_9MaRDI QIDQ4450973zbMATH OpenFDO

Authors Martin von Löwis, Andreas Prinz

Publication date 16 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2708/27080150.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine
• Automatic formal model generation and analysis of SDL
• Towards a formal foundation of the specification and description language SDL
• Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering
• Deriving a compiler from an operational semantics written in VDL
• Automatic generation of compilers and interpreters from object-oriented specifications of programming languages
• The formal semantics of SDL-2000: Status and perspectives.

Cited in

(4)

• On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine
• Engineering the SDL formal language definition.
• Deriving a compiler from an operational semantics written in VDL
• Towards a formal foundation of the specification and description language SDL

This page was built for publication: Generating a compiler for SDL from the formal language definition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450973)