Sciweavers

1368 search results - page 5 / 274
» Recursive modules for programming
Sort
View

Book
301views
16 years 7 months ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper
CORR
2006
Springer
84views Education» more  CORR 2006»
14 years 9 months ago
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associate...
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
DBA
2006
173views Database» more  DBA 2006»
14 years 11 months ago
Object-Oriented Programming with Recursive Queries
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...
Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz...
POPL
2005
ACM
15 years 10 months ago
A bisimulation for type abstraction and recursion
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Eijiro Sumii, Benjamin C. Pierce
LCPC
2000
Springer
15 years 1 months ago
Recursion Unrolling for Divide and Conquer Programs
This paper presents recursion unrolling, a technique for improving the performance of recursive computations. Conceptually, recursion unrolling inlines recursive calls to reduce c...
Radu Rugina, Martin C. Rinard