PADL
2015
Springer
8 years 20 days ago
2015
Springer
Linear logic programs are challenging to implement efficiently because facts are asserted and retracted frequently. Implementation is
PADL
2015
Springer
8 years 20 days ago
2015
Springer
We introduce a compressed de Bruijn representation of lambda terms and define its bijections to standard representations. Compact combinatorial generation algorithms are given for...
PADL
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. We present an architecture for data semantics discovery capable of extracting semantically-rich content from human-readable files without prior specification of the file ...
PADL
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation enviro...
PADL
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. In order to handle real-world problems, state-of-the-art probabilistic logic and learning frameworks, such as ProbLog, reduce the expensive inference to an efficient Weig...