Search Sciweavers | Sciweavers

19 search results - page 1 / 4

» aplas 2010

129

Voted

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

15 years 2 months ago

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

108

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 3 months ago

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

111

click to vote

APLAS
2010
ACM

174views Programming Languages» more APLAS 2010»

A Quick Tour of the VeriFast Program Verifier

15 years 3 months ago

Download people.cs.kuleuven.be

Bart Jacobs, Jan Smans, Frank Piessens

claim paper

Read More »

click to vote

APLAS
2010
ACM

113views Programming Languages» more APLAS 2010»

A Provably Correct Stackless Intermediate Representation for Java Bytecode

15 years 3 months ago

Download mobius.inria.fr

Delphine Demange, Thomas P. Jensen, David Pichardi...

claim paper

Read More »

113

click to vote

APLAS
2010
ACM

111views Programming Languages» more APLAS 2010»

Liveness of Communicating Transactions (Extended Abstract)

15 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers