1768 search results - page 88 / 354 » A Logic for Algebraic Effects |
123
Voted
JFP
2008
15 years 22 days ago
2008
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...
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
132
click to vote
AB
2007
Springer
15 years 7 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
98
Voted
FLOPS
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
94
Voted
FSKD
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an investigation into the combination of different classifiers for toxicity prediction. These classification methods involved in generating classifiers for comb...