181 search results - page 22 / 37 » Planning Experiments in the DALI Logic Programming Language |
121
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
140
Voted
ESOP
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
128
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
205
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
252
Voted
POPL
2007
ACM
16 years 3 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...