An abstract interpretation-based model for safety semantics
DOI10.1080/00207161003703205zbMATH Open1215.68125OpenAlexW2004736837WikidataQ62046216 ScholiaQ62046216MaRDI QIDQ2995468FDOQ2995468
Roberto Giacobazzi, Isabella Mastroeni
Publication date: 21 April 2011
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207161003703205
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55)
Cites Work
- Constructive versions of Tarski's fixed point theorems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Grammar Analysis and Parsing by Abstract Interpretation
- Countable nondeterminism and random assignment
- Guarded commands, nondeterminacy and formal derivation of programs
- Safety, liveness and fairness in temporal logic
- Systematic design of program transformation frameworks by abstract interpretation
- Defining liveness
- Proving the Correctness of Multiprocess Programs
- Recognizing safety and liveness
- Making abstract interpretations complete
- Proving Liveness Properties of Concurrent Programs
- Refining and compressing abstract domains
- Weak relative pseudo-complements of closure operators
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Grammar semantics, analysis and parsing by abstract interpretation
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
- Safety without stuttering
Cited In (7)
- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
- Maximizing entropy over Markov processes
- Undecidability of safety for the schematic protection model with cyclic creates
- A Revised Concept of Safety for General Answer Set Programs
- An efficient abstract machine for safe ambients
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: An abstract interpretation-based model for safety semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2995468)
