Sciweavers

46 search results - page 1 / 10

» popl 2010

19

POPL
2010
ACM

206views Programming Languages» more POPL 2010»

Paralocks : Role-Based Information Flow Control and Beyond

13 years 9 months ago

Paralocks : Role-Based Information Flow Control and Beyond

Download www.cse.chalmers.se

Niklas Broberg, David Sands

claim paper

Read More »

13

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

13 years 11 months ago

Type inference for datalog with complex type hierarchies

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

9

POPL
2010
ACM

236views Programming Languages» more POPL 2010»

Efficient parallel programming in Poly/ML and Isabelle/ML

13 years 11 months ago

Efficient parallel programming in Poly/ML and Isabelle/ML

Download cl-informatik.uibk.ac.at

David C. J. Matthews, Makarius Wenzel

claim paper

Read More »

14

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

14 years 2 months ago

Decision Procedures for Algebraic Data Types with Abstractions

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

13

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

14 years 2 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 »

« Prev « First page 1 / 10 Last » Next »