2236 search results - page 202 / 448 » Language Independence and Language Tolerance in Logic Progra... |
327
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
232
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
244
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
205
click to vote
DALT
2005
Springer
16 years 3 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
291
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...