scientific article; zbMATH DE number 2043465

zbMATH Open1038.68828MaRDI QIDQ4450973

Martin von Löwis, Andreas Prinz

Publication date: 16 February 2004

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Related Items (2)

Towards a formal foundation of the specification and description language SDL ⋮ Engineering the SDL Formal Language Definition

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Towards a formal foundation of the specification and description language SDL 👍 👎
• The formal semantics of SDL-2000: Status and perspectives. 👍 👎
• Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering 👍 👎
• Deriving a compiler from an operational semantics written in VDL 👍 👎

This page was built for publication:

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