PADL
9 years 8 months 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
9 years 8 months 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
9 years 8 months 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
9 years 8 months ago
2015 Springer 
Linear logic programs are challenging to implement efficiently because facts are asserted and retracted frequently. Implementation is
PADL
9 years 8 months 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...
|
Programming Languages