2 search results - page 1 / 1 » On acyclic and head-cycle free nested logic programs |
NMR
2004
Springer
13 years 10 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...