TAPSOFT
1991
Springer
14 years 2 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
TAPSOFT
1991
Springer
14 years 2 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
TAPSOFT
1991
Springer
14 years 2 months ago
1991
Springer
TAPSOFT
1991
Springer
14 years 2 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...