A rewriting logic semantics approach to modular program analysis

DOI10.4230/LIPICS.RTA.2010.151MaRDI QIDQ5389141zbMATH OpenOpenAlexFDO

Authors Mark Hills, Grigore Roşu

Publication date 25 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_80b1.html

zbMATH Keywords

program analysisrewriting logic semanticsK

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• The rewriting logic semantics project
• From rewriting logic, to programming language semantics, to program verification
• A rewrite framework for language definitions and for generation of efficient interpreters
• The rewriting logic semantics project
• The rewriting logic semantics project: a progress report

Cited in

(3)

• Algebraic Methodology and Software Technology
• Rewriting modulo SMT and open system analysis
• Memory policy analysis for semantics specifications in Maude

Describes a project that uses

Uses Software

• SILF
• K Prover
• LCLint
• Rascal
• Frama-C
• Caduceus
• Spec#
• Eiffel

This page was built for publication: A rewriting logic semantics approach to modular program analysis

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