1368 search results - page 9 / 274 » Recursive modules for programming |
CIE
2007
Springer
14 years 1 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
IJCAI
1993
13 years 9 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
POPL
2001
ACM
14 years 8 months ago
2001
ACM
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
