Sciweavers

PPDP
2015
Springer
7 years 11 months ago
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic
We enrich spatial constraint systems with operators to specify information and processes moving from a space to another. We shall refer to these news structures as spatial constra...
Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. ...
PPDP
2015
Springer
7 years 11 months ago
Concolic testing for functional languages
Concolic testing is a software testing technique combining concrete execution of a program (given specific input, along specific paths) with symbolic execution (generating new t...
Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstan...
PPDP
2015
Springer
7 years 11 months ago
Improvements in a functional core language with call-by-need operational semantics
An improvement is a correct program transformation that optimizes the program, where the criterion is that the number of computation steps until a value is obtained is decreased. T...
Manfred Schmidt-Schauß, David Sabel
PPDP
2015
Springer
7 years 11 months ago
Automatic amortized analysis
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
Martin Hofmann
PPDP
2015
Springer
7 years 11 months ago
From monoids to near-semirings: the essence of MonadPlus and alternative
It is well-known that monads are monoids in the category of endofunctors, and in fact so are applicative functors. Unfortunately, the benefits of this unified view are lost when...
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers
PPDP
2015
Springer
7 years 11 months ago
Static analysis of cloud elasticity
We propose a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machin...
Abel Garcia, Cosimo Laneve, Michael Lienhardt
PPDP
2015
Springer
7 years 11 months ago
Detecting concurrency bugs in higher-order programs through abstract interpretation
Quentin Stievenart, Jens Nicolay, Wolfgang De Meut...
PPDP
2015
Springer
7 years 11 months ago
ReactiveML, ten years later
Ten years ago we introduced ReactiveML, an extension of a strict ML language with synchronous parallelism `a la Esterel to program reactive applications. Our purpose was to demons...
Louis Mandel, Cédric Pasteur, Marc Pouzet
PPDP
2015
Springer
7 years 11 months ago
Declarative interpretations of session-based concurrency
Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or dec...
Mauricio Cano, Camilo Rueda, Hugo A. López,...
PPDP
2015
Springer
7 years 11 months ago
Lasp: a language for distributed, coordination-free programming
We propose Lasp, a new programming model designed to simplify large-scale distributed programming. Lasp combines ideas from deterministic dataflow programming together with con...
Christopher Meiklejohn, Peter Van Roy