Pages that link to "Item:Q1605224"
From MaRDI portal
The following pages link to Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224):
Displaying 28 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Grammar semantics, analysis and parsing by abstract interpretation (Q655410) (← links)
- Transfinite semantics in the form of greatest fixpoint (Q843215) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Software watermarking: a semantics-based approach (Q1650961) (← links)
- Refinement to certify abstract interpretations: illustrated on linearization for polyhedra (Q1739912) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- Abstract Interpretation From a Denotational-semantics Perspective (Q2805148) (← links)
- A Hierarchy of Quantum Semantics (Q2864503) (← links)
- Bi-inductive Structural Semantics (Q2871828) (← links)
- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra (Q2945626) (← links)
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Hiding Software Watermarks in Loop Structures (Q3522070) (← links)
- Semantics-based software watermarking by abstract interpretation (Q4611201) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models (Q5382446) (← links)
- Making abstract models complete (Q5741575) (← links)
- Syntactic and semantic soundness of structural dataflow analysis (Q6536282) (← links)
- Abstract interpretation of indexed grammars (Q6536284) (← links)
