Sciweavers

10575 search results - page 145 / 2115

» T2Script Programming Language

124

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

16 years 10 days ago

Decision Procedures for Algebraic Data Types with Abstractions

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

89

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

16 years 10 days 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 »

101

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

15 years 9 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 »

102

PLDI
2009
ACM

139views Programming Languages» more PLDI 2009»

Measuring channel capacity to distinguish undue influence

15 years 9 months ago

Measuring channel capacity to distinguish undue influence

Download bitblaze.cs.berkeley.edu

James Newsome, Stephen McCamant, Dawn Song

claim paper

Read More »

109

IWOMP
2009
Springer

112views Programming Languages» more IWOMP 2009»

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore

15 years 9 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 145 / 2115 Last » Next »