enter search term and/or author name
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Eric Bodden, Patrick Lam, Laurie Hendren
Article No.: 7
Finite-state properties account for an important class of program properties, typically related to the order of operations invoked on objects. Many library implementations therefore include manually written finite-state monitors to detect...
Structured Communication-Centered Programming for Web Services
Marco Carbone, Kohei Honda, Nobuko Yoshida
Article No.: 8
This article relates two different paradigms of descriptions of communication behavior, one focusing on global message flows and another on end-point behaviors, using formal calculi based on session types. The global calculus, which originates...
On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code
Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-J. Boehm, Dhruva R. Chakrabarti
Article No.: 9
A large body of data-flow analyses exists for analyzing and optimizing sequential code. Unfortunately, much of it cannot be directly applied on parallel code, for reasons of correctness. This article presents a technique to automatically,...
Reasoning about Web Applications: An Operational Semantics for HOP
Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano
Article No.: 10
We propose a small-step operational semantics to support reasoning about Web applications written in the multitier language HOP. The semantics covers both server side and client side computations, as well as their interactions, and includes...