Rule-based analysis of dimensional safety

DOI10.1007/3-540-44881-0_15MaRDI QIDQ4447234zbMATH OpenFDO

Authors Ram Prasad Venkatesan, Grigore Roşu, Feng Chen

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/2706/27060197.htm

Mathematics Subject Classification ID

Theory of software (68N99) Grammars and rewriting systems (68Q42)

Recommendations

• Automated computation and consistency checking of physical dimensions and units in scientific programs
• A survey of physical unit handling techniques in Ada
• Proving Safety Properties of Rewrite Theories
• Modeling, optimization and computation for software verification
• Principles of program analysis

Cited in

(6)

• A rewriting logic approach to operational semantics
• Twenty years of rewriting logic
• Automated computation and consistency checking of physical dimensions and units in scientific programs
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project

Describes a project that uses

Uses Software

• bc
• Maude
• ELAN
• UNITS
• OBJ3
• CafeOBJ

This page was built for publication: Rule-based analysis of dimensional safety

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