APLAS
2015
ACM
8 years 7 months ago
2015
ACM
APLAS
2015
ACM
8 years 7 months ago
2015
ACM
Proving that two programs are contextually equivalent is notoriously hard, particularly for functional languages with references (i.e., local states). Many operational techniques h...
APLAS
2015
ACM
8 years 7 months ago
2015
ACM
Abstract. Separation logic has been successful at verifying that programs do not crash due to illegal use of resources. The underlying assumption, however, is that machines do not ...
APLAS
2015
ACM
8 years 7 months ago
2015
ACM
Abstract. Quasi-linearizability is a quantitative relaxation of linearizability. It preserves the intuition of the standard notion of linearizability and permits more flexibility....
APLAS
2015
ACM
8 years 7 months ago
2015
ACM
We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to mon...
PADL
2015
Springer
8 years 7 months 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 7 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
2015
Springer
8 years 7 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
2015
Springer
8 years 7 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
2015
Springer
8 years 7 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...