A Rewriting Logic Semantics Approach to Modular Program Analysis

DOI10.4230/LIPICS.RTA.2010.151zbMath1236.68177OpenAlexW1586432163MaRDI QIDQ5389141

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) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

Memory Policy Analysis for Semantics Specifications in Maude

Uses Software

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

This page was built for publication: A Rewriting Logic Semantics Approach to Modular Program Analysis