1368 search results - page 8 / 274 » Recursive modules for programming |
124
Voted
EUROGP
2003
Springer
15 years 7 months ago
2003
Springer
Teleo-reactive programs and the triple tower architecture have been proposed as a framework for linking perception and action in agents. The triple tower architecture continually u...
100
click to vote
ICFP
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
119
click to vote
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
189
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...