213 search results - page 24 / 43 » Automated Termination Analysis for Logic Programs with Cut |
130
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
156
click to vote
META
1992
15 years 5 months ago
1992
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...
105
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
116
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
106
click to vote
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...