1210 search results - page 124 / 242 » Formal Techniques for Java Programs |
132
click to vote
ALT
2004
Springer
15 years 11 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
117
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
137
click to vote
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
130
click to vote
ECEASST
2008
15 years 2 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
152
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...