Sciweavers

    9595 search results - page 133 / 1919
    » Functional programming in C
    Sort
    View
    JMLR
    2012
    162views Programming Languages» more  JMLR 2012»
    High-dimensional Sparse Inverse Covariance Estimation using Greedy Methods
    13 years 7 months ago
    High-dimensional Sparse Inverse Covariance Estimation using Greedy Methods
    Download  jmlr.csail.mit.edu
    Christopher C. Johnson, Ali Jalali, Pradeep D. Rav...
    claim paper
    Read More »
    ECOOP
    2012
    Springer
    228views Programming Languages» more  ECOOP 2012»
    Extensibility for the Masses - Practical Extensibility with Object Algebras
    13 years 7 months ago
    Extensibility for the Masses - Practical Extensibility with Object Algebras
    Download  www.cs.utexas.edu
    Bruno C. d. S. Oliveira, William R. Cook
    claim paper
    Read More »
    ENTCS
    2002
    136views more  ENTCS 2002»
    Comparing Calculi of Explicit Substitutions with Eta-reduction
    15 years 4 months ago
    Comparing Calculi of Explicit Substitutions with Eta-reduction
    Download  www.cic.unb.br
    The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
    Mauricio Ayala-Rincón, Flávio L. C. ...
    claim paper
    Read More »
    ICCAD
    2004
    IEEE
    191views Hardware» more  ICCAD 2004»
    Checking consistency of C and Verilog using predicate abstraction and induction
    16 years 1 months ago
    Checking consistency of C and Verilog using predicate abstraction and induction
    Download  reports-archive.adm.cs.cmu.edu
    edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
    Daniel Kroening, Edmund M. Clarke
    claim paper
    Read More »
    FOAL
    2009
    ACM
    134views Natural Language Processing» more  FOAL 2009»
    A type system for functional traversal-based aspects
    15 years 11 months ago
    A type system for functional traversal-based aspects
    Download  www.ccs.neu.edu
    We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
    Bryan Chadwick, Karl J. Lieberherr
    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.