Sciweavers

10871 search results - page 173 / 2175

» A stable programming language

39

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

14 years 8 months ago

Decision Procedures for Algebraic Data Types with Abstractions

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

24

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

14 years 8 months ago

Modular Verification of Security Protocol Code by Typing

Download www.cl.cam.ac.uk

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

claim paper

Read More »

32

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

14 years 5 months ago

Lightweight annotations for controlling sharing in concurrent data structures

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

29

PLDI
2009
ACM

139views Programming Languages» more PLDI 2009»

Measuring channel capacity to distinguish undue influence

14 years 5 months ago

Measuring channel capacity to distinguish undue influence

Download bitblaze.cs.berkeley.edu

James Newsome, Stephen McCamant, Dawn Song

claim paper

Read More »

28

IWOMP
2009
Springer

112views Programming Languages» more IWOMP 2009»

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore

14 years 5 months ago

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore

Download www.rosecompiler.org

Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...

claim paper

Read More »

« Prev « First page 173 / 2175 Last » Next »