3513 search results - page 503 / 703 » Super Logic Programs |
184
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
87
Voted
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
114
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
102
Voted
ICSE
2005
IEEE-ACM
16 years 26 days ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
109
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...