Search Sciweavers | Sciweavers

4211 search results - page 24 / 843

» Types as Abstract Interpretations

136

click to vote

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 11 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

128

click to vote

FLOPS
2004
Springer

84views Automated Reasoning» more FLOPS 2004»

Multivariant Non-failure Analysis via Standard Abstract Interpretation

15 years 11 months ago

Download www.cs.unm.edu

Francisco Bueno, Pedro López-García,...

claim paper

Read More »

119

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 11 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

127

click to vote

SAS
2004
Springer

104views Formal Methods» more SAS 2004»

Abstract Interpretation of Combinational Asynchronous Circuits

15 years 11 months ago

Download www.cl.cam.ac.uk

Sarah Thompson, Alan Mycroft

claim paper

Read More »

123

click to vote

SAS
2004
Springer

110views Formal Methods» more SAS 2004»

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers