4370 search results - page 503 / 874 » Algebra of Logic Programming |
119
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
159
click to vote
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
142
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
151
click to vote
ENTCS
2008
15 years 3 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
147
click to vote
JAPLL
2010
15 years 2 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...