Search Sciweavers | Sciweavers

8132 search results - page 36 / 1627

» Dependability, Abstraction, and Programming

271

Voted

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

16 years 7 months ago

Download pho.ucsd.edu

Grégoire Sutre, Ranjit Jhala, Rupak Majumda...

claim paper

Read More »

132

click to vote

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

16 years 7 months ago

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

194

Voted

EUROPAR
2004
Springer

116views Distributed And Parallel Com...» more EUROPAR 2004»

More Legal Transformations for Locality

16 years 26 days ago

Download www.lri.fr

Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...

Cédric Bastoul, Paul Feautrier

claim paper

Read More »

287

click to vote

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 7 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

290

click to vote

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers