1781 search results - page 162 / 357 » Functional Answer Set Programming |
103
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
220
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
119
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
107
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Adaptive parallel computations--computations that can adapt to changes in resource availability and requirement--can effectively use networked machines because they dynamically ex...
115
click to vote
ITP
2010
15 years 5 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...