Search Sciweavers | Sciweavers

2203 search results - page 20 / 441

» Temporal Abstract Interpretation

click to vote

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

14 years 1 months ago

Download web.me.com

François Bourdoncle

claim paper

Read More »

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

14 years 1 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

14 years 1 months ago

Download www.csse.monash.edu.au

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

claim paper

Read More »

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

14 years 1 months ago

Download www.cs.arizona.edu

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

claim paper

Read More »

click to vote

PLILP
1992
Springer

125views Programming Languages» more PLILP 1992»

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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers