Sciweavers

    19 search results - page 1 / 4
    » aplas 2010
    Sort
    View
    129
    Voted
    APLAS
    2010
    ACM
    101views Programming Languages» more  APLAS 2010»
    From a Verified Kernel towards Verified Systems
    15 years 2 months ago
    From a Verified Kernel towards Verified Systems
    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
    Relational Parametricity for a Polymorphic Linear Lambda Calculus
    Download  www.cis.upenn.edu
    Jianzhou Zhao, Qi Zhang, Steve Zdancewic
    claim paper
    Read More »
    APLAS
    2010
    ACM
    174views Programming Languages» more  APLAS 2010»
    A Quick Tour of the VeriFast Program Verifier
    15 years 3 months ago
    A Quick Tour of the VeriFast Program Verifier
    Download  people.cs.kuleuven.be
    Bart Jacobs, Jan Smans, Frank Piessens
    claim paper
    Read More »
    96
    Voted
    APLAS
    2010
    ACM
    113views Programming Languages» more  APLAS 2010»
    A Provably Correct Stackless Intermediate Representation for Java Bytecode
    15 years 3 months ago
    A Provably Correct Stackless Intermediate Representation for Java Bytecode
    Download  mobius.inria.fr
    Delphine Demange, Thomas P. Jensen, David Pichardi...
    claim paper
    Read More »
    114
    Voted
    APLAS
    2010
    ACM
    111views Programming Languages» more  APLAS 2010»
    Liveness of Communicating Transactions (Extended Abstract)
    15 years 12 days ago
    Liveness of Communicating Transactions (Extended Abstract)
    Download  www.scss.tcd.ie
    Edsko de Vries, Vasileios Koutavas, Matthew Hennes...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.