Sciweavers

    2 search results - page 1 / 1
    » WYSIWIB: A declarative approach to finding API protocols and...
    Sort
    View
    DSN
    2009
    IEEE
    94views Computer Networks» more  DSN 2009»
    WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
    15 years 9 months ago
    WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
    Download  coccinelle.lip6.fr
    Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren...
    claim paper
    Read More »
    POPL
    2006
    ACM
    163views Programming Languages» more  POPL 2006»
    Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
    16 years 3 months ago
    Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
    Download  www.cl.cam.ac.uk
    The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
    Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
    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.