87 search results - page 1 / 18 » Analyzing Logic Programs with Dynamic Scheduling |
POPL
1994
ACM
13 years 9 months ago
1994
ACM
CCS
2008
ACM
13 years 7 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
CL
2000
Springer
13 years 5 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
ESOP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
ESOP
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...