Search Sciweavers | Sciweavers

10871 search results - page 167 / 2175

» A stable programming language

click to vote

POPL
2005
ACM

123views Programming Languages» more POPL 2005»

The Java memory model

14 years 10 months ago

Download rsim.cs.illinois.edu

Jeremy Manson, William Pugh, Sarita V. Adve

claim paper

Read More »

click to vote

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

14 years 10 months ago

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

click to vote

POPL
2005
ACM

96views Programming Languages» more POPL 2005»

Scalable error detection using boolean satisfiability

14 years 10 months ago

Download www.stanford.edu

Yichen Xie, Alexander Aiken

claim paper

Read More »

click to vote

POPL
2005
ACM

89views Programming Languages» more POPL 2005»

Policy framings for access control

14 years 10 months ago

Download www.di.unipi.it

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...

claim paper

Read More »

click to vote

POPL
2004
ACM

119views Programming Languages» more POPL 2004»

A semantics for web services authentication

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers