1368 search results - page 15 / 274 » Recursive modules for programming |
CALCO
2005
Springer
15 years 3 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
JMLR
2006
14 years 9 months ago
2006
In this paper, we propose a new representation for physical control
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
100
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
100
click to vote
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...