Sciweavers

4211 search results - page 31 / 843

» Types as Abstract Interpretations

79

ECRTS
2010
IEEE

192views Embedded Systems» more ECRTS 2010»

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

15 years 28 days ago

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

Download www-verimag.imag.fr

Karine Altisen, Matthieu Moy

claim paper

Read More »

49

CORR
2008
Springer

64views Education» more CORR 2008»

Quantum entanglement analysis based on abstract interpretation

14 years 12 months ago

Quantum entanglement analysis based on abstract interpretation

Download www.pps.jussieu.fr

Simon Perdrix

claim paper

Read More »

63

CORR
2006
Springer

98views Education» more CORR 2006»

On Quasi-Interpretations, Blind Abstractions and Implicit Complexity

14 years 12 months ago

On Quasi-Interpretations, Blind Abstractions and Implicit Complexity

Download www-lipn.univ-paris13.fr

Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen

claim paper

Read More »

78

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

14 years 11 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

88

TAP
2008
Springer

110views Hardware» more TAP 2008»

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

14 years 11 months ago

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

Download www.pietro.ferrara.name

Pietro Ferrara

claim paper

Read More »

« Prev « First page 31 / 843 Last » Next »