Searching for "Structured recursive programming." – sorted by Relevance.
37 documents found, showing 1 through 10.
Next 10 →
-
Metamorphic Programming: Structured Recursion for Abstract Data Types
- … Metamorphic Programming: Structured Recursion for Abstract Data Types Martin Erwig Fern…
- Cited by 1 (1 self) – Add To MetaCart
-
Inductive Programming
- … leads to a natural recursion structure for functions that realize its homomorphisms. This structure…
- Cited by 3 (0 self) – Add To MetaCart
-
The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors
- … is that of recursion-parallelism, where structurally recursive programs are exploited to yield large amounts…
- Cited by 8 (6 self) – Add To MetaCart
-
A Parallelization Framework for Recursive Tree Programs
- …" programs are in fact regular on other data and control structures. We adduce as an example the recursive…
- Cited by 4 (2 self) – Add To MetaCart
-
Providing Iteration and Concurrency in Logic Programs through Bounded Quantifications
- … structures, such as lists, are naturally defined by recursive programs, while programs operating…
- Cited by 12 (1 self) – Add To MetaCart
-
Termination of Logic Programs Via Labelled Term Rewrite Systems
- … structural recursive logic program, and also for proving termination of implementations of quick…
- Cited by 13 (7 self) – Add To MetaCart
-
Roundabout: A Pattern Language for Recursive Programming
- … to structure recursive programs. Patterns 6- 7 describe how to improve the programs generated by the first five…
- Cited by 2 (1 self) – Add To MetaCart
-
The Complexity of Type Analysis of Object Oriented Programs
- …-TIME with it. Further, if the program under analysis may use recursive data structures then the problem becomes…
- Cited by 10 (2 self) – Add To MetaCart
-
Proof Methods for Structured Corecursive Programs
- … properties of recursive programs is structural induction. Unfortunately, this method is not applicable…
- Cited by 10 (4 self) – Add To MetaCart
-
Dependently Typed Functional Programs and their Proofs
- … of structurally recursive programs, removing any need for a termination argument. Furthermore, the use…
- Cited by 49 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
