1320 search results - page 169 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
160
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...
278
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
178
click to vote
ICLP
2007
Springer
16 years 13 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
146
click to vote
IJCAI
1993
15 years 7 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
185
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...