Search Sciweavers | Sciweavers

10935 search results - page 163 / 2187

» Neural Programming Language

256

click to vote

POPL
2005
ACM

96views Programming Languages» more POPL 2005»

Scalable error detection using boolean satisfiability

16 years 6 months ago

Download www.stanford.edu

Yichen Xie, Alexander Aiken

claim paper

Read More »

260

click to vote

POPL
2005
ACM

89views Programming Languages» more POPL 2005»

Policy framings for access control

16 years 6 months ago

Download www.di.unipi.it

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

claim paper

Read More »

247

click to vote

POPL
2004
ACM

119views Programming Languages» more POPL 2004»

A semantics for web services authentication

16 years 6 months ago

Download research.microsoft.com

Andrew D. Gordon, Cédric Fournet, Karthikey...

claim paper

Read More »

260

click to vote

POPL
2004
ACM

104views Programming Languages» more POPL 2004»

The space cost of lazy reference counting

16 years 6 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

235

Voted

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers