Sciweavers

Share
APLAS
2010
ACM
9 years 8 months ago
Concurrency Can't Be Observed, Asynchronously
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giac...
APLAS
2010
ACM
9 years 8 months ago
Liveness of Communicating Transactions (Extended Abstract)
Edsko de Vries, Vasileios Koutavas, Matthew Hennes...
APLAS
2010
ACM
9 years 9 months ago
Metric Spaces and Termination Analyses
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
Aziem Chawdhary, Hongseok Yang
APLAS
2010
ACM
9 years 10 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander
APLAS
2010
ACM
9 years 10 months ago
Type Inference for Sublinear Space Functional Programming
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
Ugo Dal Lago, Ulrich Schöpp
APLAS
2010
ACM
10 years 20 hour ago
A Quick Tour of the VeriFast Program Verifier
Bart Jacobs, Jan Smans, Frank Piessens
APLAS
2010
ACM
10 years 2 days ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
APLAS
2010
ACM
10 years 2 days ago
A Logical Mix of Approximation and Separation
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
Aquinas Hobor, Robert Dockins, Andrew W. Appel
APLAS
2010
ACM
10 years 2 days ago
Data Structure Fusion
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...
books