1776 search results - page 137 / 356 » Using a Logic Programming Language with Persistence and Cont... |
127
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
118
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
159
click to vote
JAPLL
2007
15 years 3 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
232
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
143
Voted
PEPM
2009
ACM
16 years 4 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...