Sciweavers

10622 search results - page 42 / 2125

» Python Programming Language

154

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

16 years 1 months ago

Propositional Interpolation and Abstract Interpretation

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

153

Voted

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

Control-flow analysis of function calls and returns by abstract interpretation

16 years 1 months ago

Control-flow analysis of function calls and returns by abstract interpretation

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

141

PLDI
2009
ACM

117views Programming Languages» more PLDI 2009»

Encoding information flow in Aura

16 years 1 months ago

Encoding information flow in Aura

Download www.andrew.cmu.edu

Limin Jia, Steve Zdancewic

claim paper

Read More »

152

Voted

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

16 years 1 months ago

An implementation and semantics for transactional memory introspection in Haskell

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

147

Voted

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

16 years 1 months ago

Pragmatic equivalence and safety checking in Cryptol

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »

« Prev « First page 42 / 2125 Last » Next »