Rewriting Models of Boolean Programs
From MaRDI portal
Publication:3527289
DOI10.1007/11805618_11zbMath1151.68440OpenAlexW1678979457MaRDI QIDQ3527289
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
Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
On the Reachability Analysis of Acyclic Networks of Pushdown Systems ⋮ Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains ⋮ Generalized rewrite theories, coherence completion, and symbolic methods
Uses Software
This page was built for publication: Rewriting Models of Boolean Programs
