899 search results - page 47 / 180 » A CTL-Based Logic for Program Abstractions |
140
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
125
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
115
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
128
Voted
ENTCS
2002
15 years 1 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...