1768 search results - page 72 / 354 » A Logic for Algebraic Effects |
101
click to vote
LISP
2008
15 years 20 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces a novel, cost effective visual cryptography scheme suitable for color image transmission over bandwidth constraint channels. Unlike previously proposed schem...
100
Voted
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
ILP
2004
Springer
15 years 6 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
115
click to vote
CORR
2004
Springer
15 years 16 days ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...