5451 search results - page 752 / 1091 » Typed Operational Semantics |
157
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
153
Voted
POS
1998
Springer
15 years 10 months ago
1998
Springer
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
146
Voted
TARK
1998
Springer
15 years 10 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
151
Voted
DEXA
1997
Springer
15 years 10 months ago
1997
Springer
Still most of the current information systems are intra-organizational. Since products, services and production processes have become more information intensive, there is an increa...
179
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...