Sciweavers

8132 search results - page 46 / 1627

» Dependability, Abstraction, and Programming

248

POPL
2005
ACM

86views Programming Languages» more POPL 2005»

A semantics for procedure local heaps and its abstractions

16 years 6 months ago

A semantics for procedure local heaps and its abstractions

Download www.cs.wisc.edu

Jörg Bauer, Noam Rinetzky, Reinhard Wilhelm, ...

claim paper

Read More »

248

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

16 years 6 months ago

A bisimulation for type abstraction and recursion

Download www.kb.ecei.tohoku.ac.jp

traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Eijiro Sumii, Benjamin C. Pierce

claim paper

Read More »

127

APLAS
2009
ACM

119views Programming Languages» more APLAS 2009»

Abstract Transformers for Thread Correlation Analysis

16 years 20 days ago

Abstract Transformers for Thread Correlation Analysis

Download www.cs.tau.ac.il

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...

claim paper

Read More »

126

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

15 years 11 months ago

Concurrent Abstract Predicates

Download www.cl.cam.ac.uk

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...

claim paper

Read More »

161

AGP
1995
IEEE

138views Artificial Intelligence» more AGP 1995»

Domain Independent Ask Approximation in CCP

15 years 9 months ago

Domain Independent Ask Approximation in CCP

Download www.cs.unipr.it

The main diﬃculty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...

Enea Zaffanella

claim paper

Read More »

« Prev « First page 46 / 1627 Last » Next »