105
Voted
PADL
10 years 27 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
10 years 27 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
10 years 27 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...
88
Voted
PADL
10 years 27 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...
PADL
10 years 27 days ago
2015 Springer 
Linear logic programs are challenging to implement efficiently because facts are asserted and retracted frequently. Implementation is
|
Programming Languages