967 search results - page 123 / 194 » Probabilistic Predicative Programming |
170
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
218
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
118
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
115
click to vote
INFSOF
1998
15 years 2 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
127
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...