155
click to vote
TAPSOFT
1995
Springer
15 years 8 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
112
click to vote
TAPSOFT
1995
Springer
15 years 8 months ago
1995
Springer
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing r...
TACAS
1995
Springer
15 years 8 months ago
1995
Springer
114
click to vote
TACAS
1995
Springer
15 years 8 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...