Sciweavers

    8766 search results - page 108 / 1754
    » Functional logic programming
    Sort
    View
    ECOOP
    2007
    Springer
    119views Programming Languages» more  ECOOP 2007»
    Code Analyses for Refactoring by Source Code Patterns and Logical Queries
    15 years 10 months ago
    Code Analyses for Refactoring by Source Code Patterns and Logical Queries
    Download  roots.iai.uni-bonn.de
    Daniel Speicher, Malte Appeltauer, Günter Kni...
    claim paper
    Read More »
    PEPM
    2011
    ACM
    225views Software Engineering» more  PEPM 2011»
    Calculating tree navigation with symmetric relational zipper
    14 years 9 months ago
    Calculating tree navigation with symmetric relational zipper
    Download  www.math.kyoto-u.ac.jp
    Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
    Yuta Ikeda, Susumu Nishimura
    claim paper
    Read More »
    ICFP
    2002
    ACM
    101views Programming Languages» more  ICFP 2002»
    Contracts for higher-order functions
    16 years 6 months ago
    Contracts for higher-order functions
    Download  www.eecs.northwestern.edu
    Robert Bruce Findler, Matthias Felleisen
    claim paper
    Read More »
    ICFP
    2009
    ACM
    140views Programming Languages» more  ICFP 2009»
    Control-flow analysis of function calls and returns by abstract interpretation
    16 years 1 months ago
    Control-flow analysis of function calls and returns by abstract interpretation
    Download  www.irisa.fr
    Jan Midtgaard, Thomas P. Jensen
    claim paper
    Read More »
    ECOOP
    2004
    Springer
    86views Programming Languages» more  ECOOP 2004»
    Functional Objects
    15 years 11 months ago
    Functional Objects
    Download  www.ccs.neu.edu
    Matthias Felleisen
    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.