3481 search results - page 543 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
189
click to vote
TPHOL
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
165
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
162
click to vote
ETFA
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
149
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
176
click to vote
MEMBRANE
2004
Springer
15 years 11 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...