Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

From MaRDI portal
Publication:1605224

DOI10.1016/S0304-3975(00)00313-3zbMath0996.68119MaRDI QIDQ1605224

Patrick Cousot

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items

Trace-Relating Compiler Correctness and Secure CompilationTransfinite semantics in the form of greatest fixpointStatic analysis of embedded real-time concurrent software with dynamic prioritiesSoftware watermarking: a semantics-based approachRefinement to Certify Abstract Interpretations, Illustrated on Linearization for PolyhedraAsynchronous correspondences between hybrid trajectory semanticsProperty-driven code obfuscations reinterpreting Jones-optimality in abstract interpretationIndependence Abstractions and Models of ConcurrencyA generic framework to coarse-grain stochastic reaction networks by abstract interpretationTransforming Abstract Interpretations by Abstract InterpretationHiding Software Watermarks in Loop StructuresSemantics-based software watermarking by abstract interpretationComparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE ModelsGrammar semantics, analysis and parsing by abstract interpretationAn abstract interpretation-based model for safety semanticsOn multi-language abstraction. Towards a static analysis of multi-language programsRefinement to certify abstract interpretations: illustrated on linearization for polyhedraProving Termination by Policy IterationMaking abstract models completeTransforming semantics by abstract interpretationAbstract Interpretation From a Denotational-semantics PerspectiveAbstract interpretation and types for systems biologyPrecondition Inference from Intermittent Assertions and Application to Contracts on CollectionsBi-inductive structural semanticsModelling declassification policies using abstract domain completenessAbstract interpretation of resolution-based semanticsA Hierarchy of Quantum SemanticsWhat You Lose is What You Leak: Information Leakage in Declassification PoliciesBi-inductive Structural Semantics



Cites Work