نشرت في: May 2009
We propose a sequent calculus derived from the ¥ë¥?¥?. -calculus of Curien and Herbelin that is expressive enough to directly represent the fine deta...
This article describes an approach to program optimization based on transformations, where temporal logic is used to specify side conditions, and str...
The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: Computer Science, Philo...
We present a new approach to adding state and state-changing commands to a term language. As a formal semantics it can be seen as a generalization of...
نشرت في: June 2009
We have built a runtime compilation system that takes unmodified sequential binaries and improves their performance on off-the-shelf multiprocessors...
