Sciweavers

    1368 search results - page 20 / 274
    » Recursive modules for programming
    Sort
    View
    121
    Voted
    COCOON
    2001
    Springer
    98views Combinatorics» more  COCOON 2001»
    Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
    15 years 8 months ago
    Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
    Download  dro.dur.ac.uk
    abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...
    Iain A. Stewart
    claim paper
    Read More »
    113
    Voted
    ACSE
    1998
    ACM
    130views Theoretical Computer Science» more  ACSE 1998»
    Visualizing programming in recursion and linked lists
    15 years 8 months ago
    Visualizing programming in recursion and linked lists
    Download  dis.eafit.edu.co
    Cheng-Chih Wu, Greg C. Lee, Janet Mei-Chuen Lin
    claim paper
    Read More »
    102
    Voted
    PEPM
    1997
    ACM
    88views Software Engineering» more  PEPM 1997»
    Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
    15 years 7 months ago
    Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
    Download  www.brics.dk
    Olivier Danvy, Ulrik Pagh Schultz
    claim paper
    Read More »
    98
    Voted
    PEPM
    1994
    ACM
    89views Software Engineering» more  PEPM 1994»
    Improving Programs Which Recurse over Multiple Inductive Structures
    15 years 7 months ago
    Improving Programs Which Recurse over Multiple Inductive Structures
    Download  lambda.uta.edu
    Leonidas Fegaras, Tim Sheard, Tong Zhou
    claim paper
    Read More »
    CAV
    2007
    Springer
    117views Hardware» more  CAV 2007»
    Spade: Verification of Multithreaded Dynamic and Recursive Programs
    15 years 7 months ago
    Spade: Verification of Multithreaded Dynamic and Recursive Programs
    Download  www-ti.informatik.uni-tuebingen.de
    Gaël Patin, Mihaela Sighireanu, Tayssir Touil...
    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.