Search Sciweavers | Sciweavers

1189 search results - page 19 / 238

» The Quotient of an Abstract Interpretation

140

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 10 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

127

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

15 years 10 months ago

Download www.csse.monash.edu.au

Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...

claim paper

Read More »

143

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

15 years 10 months ago

Download www.cs.arizona.edu

Peter A. Bigot, Saumya K. Debray, Kim Marriott

claim paper

Read More »

149

click to vote

PLILP
1992
Springer

125views Programming Languages» more PLILP 1992»

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

124

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers