1131 search results - page 135 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
SPAA
2004
ACM
15 years 8 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
242
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
96
Voted
TOPLAS
2008
15 years 1 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
107
Voted
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
217
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...