scientific article; zbMATH DE number 1543048

MaRDI QIDQ4520501zbMATH OpenFDO

Authors Philipp W. Kutter, Alfonso Pierantonio

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_5/montages_specifications

zbMATH Keywords

montages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Enhanced control flow graphs in Montages
• scientific article; zbMATH DE number 1543051
• Generating an action notation environment from Montages descriptions
• Toward complete programming language descriptions that are both formal and understandable
• Xasm -- an extensible, component-based abstract state machines language

Cited in

(2)

• Enhanced control flow graphs in Montages
• scientific article; zbMATH DE number 1543051 (Why is no real title available?)

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 Q4520501)