1835 search results - page 17 / 367 » Functional Programming of Behavior-Based Systems |
112
click to vote
IWMM
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
108
Voted
CORR
2006
Springer
15 years 26 days ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
115
click to vote
FUIN
2010
14 years 10 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
95
Voted
IJCAI
2003
15 years 2 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
126
click to vote
CATA
2003
15 years 2 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...