Search Sciweavers | Sciweavers

1368 search results - page 20 / 274

» Recursive modules for programming

click to vote

COCOON
2001
Springer

98views Combinatorics» more COCOON 2001»

Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws

14 years 8 days ago

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 »

click to vote

ACSE
1998
ACM

130views Theoretical Computer Science» more ACSE 1998»

Visualizing programming in recursion and linked lists

14 years 19 hour ago

Download dis.eafit.edu.co

Cheng-Chih Wu, Greg C. Lee, Janet Mei-Chuen Lin

claim paper

Read More »

click to vote

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

13 years 12 months ago

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper

Read More »

click to vote

PEPM
1994
ACM

89views Software Engineering» more PEPM 1994»

Improving Programs Which Recurse over Multiple Inductive Structures

13 years 12 months ago

Download lambda.uta.edu

Leonidas Fegaras, Tim Sheard, Tong Zhou

claim paper

Read More »

click to vote

CAV
2007
Springer

117views Hardware» more CAV 2007»

Spade: Verification of Multithreaded Dynamic and Recursive Programs

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers