Pages that link to "Item:Q2805148"
From MaRDI portal
The following pages link to Abstract interpretation from a denotational-semantics perspective (Q2805148):
Displaying 21 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Abstract interpretation using typed decision graphs (Q1818312) (← links)
- Denotational semantics of a simple model of Eiffel (Q1894321) (← links)
- A class of bounded functions, a database language and an extended lambda calculus (Q2402281) (← links)
- A closer look at declarative interpretations (Q3129509) (← links)
- Lifting abstract interpreters to quantified logical domains (Q3189843) (← links)
- Incremental Abstract Interpretation (Q3297840) (← links)
- Abstract Interpretation as Automated Deduction (Q3454115) (← links)
- (Q3718128) (← links)
- Abstract interpretation (Q4635587) (← links)
- Abstract interpretation from Büchi automata (Q4635636) (← links)
- (Q4738461) (← links)
- (Q4934630) (← links)
- Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Q4968492) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899075) (← links)
- Abstract interpretation of CTL properties (Q6045023) (← links)
- Semantics for abstract clauses (Q6083702) (← links)