8766 search results - page 160 / 1754 » Functional logic programming |
116
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
106
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
166
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
109
Voted
AC
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
133
Voted
EUROCAST
1994
Springer
15 years 6 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...