7 search results - page 1 / 2 » tapsoft 1995 |
TAPSOFT
1995
Springer
13 years 8 months ago
1995
Springer
TAPSOFT
1995
Springer
13 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...
TAPSOFT
1995
Springer
13 years 8 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
TAPSOFT
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the c...
TAPSOFT
1995
Springer
13 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...