1194 search results - page 14 / 239 » A Calculus for Predicative Programming |
WDAG
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
MKM
2004
Springer
15 years 5 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
101
click to vote
FOSAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...