Rewriting Models of Boolean Programs

DOI10.1007/11805618_11MaRDI QIDQ3527289zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Javier Esparza

Publication date 25 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Analysis of Boolean Programs
• On rewrite programs: Semantics and relationship with prolog
• scientific article; zbMATH DE number 1982200
• scientific article; zbMATH DE number 1670555
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

Cited in

(4)

• scientific article; zbMATH DE number 5719280 (Why is no real title available?)
• Generalized rewrite theories, coherence completion, and symbolic methods
• Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
• On the Reachability Analysis of Acyclic Networks of Pushdown Systems

Describes a project that uses

Uses Software

• MOPS
• jMoped

This page was built for publication: Rewriting Models of Boolean Programs

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