1368 search results - page 11 / 274 » Recursive modules for programming |
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
LFP
1990
13 years 9 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We deļ¬ne and study an automata model of concurrent recursive programs. An automaton consists of a ļ¬nite number of pushdown systems running in parallel and communicati...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstractā It has previously been shown that serially concatenated trellis coded modulation (SCTCM) with a non-recursive inner convolutional code can achieve convergence close to ...
JMLR
2006
13 years 7 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...