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

15 years 4 months 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

15 years 3 months 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

15 years 3 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

15 years 3 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers