Sciweavers

    10575 search results - page 213 / 2115
    » T2Script Programming Language
    Sort
    View
    98
    Voted
    ICALP
    1997
    Springer
    110views Programming Languages» more  ICALP 1997»
    Symbolic Model Checking for Probabilistic Processes
    15 years 7 months ago
    Symbolic Model Checking for Probabilistic Processes
    Download  www.cs.cmu.edu
    Christel Baier, Edmund M. Clarke, Vassili Hartonas...
    claim paper
    Read More »
    98
    Voted
    PLDI
    1996
    ACM
    83views Programming Languages» more  PLDI 1996»
    TIL: A Type-Directed Optimizing Compiler for ML
    15 years 7 months ago
    TIL: A Type-Directed Optimizing Compiler for ML
    Download  www-2.cs.cmu.edu
    David Tarditi, J. Gregory Morrisett, Perry Cheng, ...
    claim paper
    Read More »
    95
    Voted
    ICALP
    1994
    Springer
    126views Programming Languages» more  ICALP 1994»
    Equivalences for Fair Kripke Structures
    15 years 7 months ago
    Equivalences for Fair Kripke Structures
    Download  www.eecs.berkeley.edu
    Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert...
    claim paper
    Read More »
    63
    Voted
    ECOOP
    1989
    Springer
    62views Programming Languages» more  ECOOP 1989»
    A Class Hierarchy for Building Stream-Oriented File Systems
    15 years 7 months ago
    A Class Hierarchy for Building Stream-Oriented File Systems
    Download  choices.cs.uiuc.edu
    Peter Madany, Roy H. Campbell, Vincent F. Russo, D...
    claim paper
    Read More »
    29
    Voted
    ICCL
    1990
    IEEE
    47views Programming Languages» more  ICCL 1990»
    Reliable Distributed Computing with Avalon/Common Lisp
    15 years 7 months ago
    Reliable Distributed Computing with Avalon/Common Lisp
    Download  www.cs.cmu.edu
    Stewart M. Clamen, Linda D. Leibengood, Scott Nett...
    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.