5451 search results - page 131 / 1091 » Typed Operational Semantics |
132
Voted
SCCC
1997
IEEE
15 years 7 months ago
1997
IEEE
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...
136
Voted
DEON
2010
Springer
15 years 5 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
143
Voted
ITS
2000
Springer
15 years 7 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
128
Voted
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
128
Voted
ACS
2005
15 years 3 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...