Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

DOI10.1007/11780274_11MaRDI QIDQ5757944zbMATH OpenOpenAlexFDO

Authors Oana Andrei, Liliana Ibănescu, Hélène Kirchner

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_11

Mathematics Subject Classification ID

Theory of programming languages (68N15) Classical flows, reactions, etc. in chemistry (92E20)

Recommendations

• From chemical rules to term rewriting
• A formal software development approach using refinement calculus
• scientific article; zbMATH DE number 1231657
• scientific article; zbMATH DE number 795668
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 1629834

Cited in

(5)

• Twenty years of rewriting logic
• Formal Islands
• Strategies, model checking and branching-time properties in Maude
• A rewriting calculus for multigraphs with ports
• From chemical rules to term rewriting

Describes a project that uses

Uses Software

• ASF+SDF
• Marvin
• Tom
• Maude
• CafeOBJ
• ATERM
• Stratego

This page was built for publication: Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

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