Sciweavers

    21 search results - page 1 / 5
    » lisp 2007
    Sort
    View
    LISP
    2007
    45views more  LISP 2007»
    State-transition machines, revisited
    15 years 2 months ago
    State-transition machines, revisited
    Download  santos.cis.ksu.edu
    David A. Schmidt
    claim paper
    Read More »
    LISP
    2007
    73views more  LISP 2007»
    A call-by-name lambda-calculus machine
    15 years 2 months ago
    A call-by-name lambda-calculus machine
    Download  www.pps.jussieu.fr
    Jean-Louis Krivine
    claim paper
    Read More »
    LISP
    2007
    54views more  LISP 2007»
    Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
    15 years 2 months ago
    Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
    Download  osl.cs.uiuc.edu
    José Meseguer, Prasanna Thati
    claim paper
    Read More »
    LISP
    2007
    52views more  LISP 2007»
    Semantics and pragmatics of Real-Time Maude
    15 years 2 months ago
    Semantics and pragmatics of Real-Time Maude
    Download  www.ifi.uio.no
    Peter Csaba Ölveczky, José Meseguer
    claim paper
    Read More »
    LISP
    2007
    59views more  LISP 2007»
    A proof-theoretic foundation of abortive continuations
    15 years 2 months ago
    A proof-theoretic foundation of abortive continuations
    Download  www.cs.indiana.edu
    Zena M. Ariola, Hugo Herbelin, Amr Sabry
    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.