1194 search results - page 52 / 239 » A Calculus for Predicative Programming |
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates betwee...
120
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
118
click to vote
ILP
2000
Springer
15 years 5 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
119
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
129
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...