FLOPS
8 years 17 days ago
2016 Springer 
Computer Science abounds in folktales about how — in the early days of computer programming — bit vectors were ingeniously used to encode and manipulate finite sets. Algorithm...
FLOPS
8 years 17 days ago
2016 Springer
We present a new constraint solver over Boolean variables, available as library(clpb)1 in SWI-Prolog. Our solver distinguishes itself from other available CLP(B) solvers by several...
FLOPS
8 years 17 days ago
2016 Springer
Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined induc...
FLOPS
8 years 17 days ago
2016 Springer 
Abstract. We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed in a single lang...
FLOPS
8 years 17 days ago
2016 Springer
Abstract. Foreign function interfaces are typically organised monolithically, tying together the specification of each foreign function with the mechanism used to make the functio...
|
Automated Reasoning