4190 search results - page 80 / 838 » Type Class Directives |
128
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
88
Voted
ACS
2006
15 years 2 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...
127
click to vote
NGC
2008
Springer
15 years 2 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
110
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Inductive concept learning is the task of learning to assign cases to a discrete set of classes. In real-world applications of concept learning, there are many different types of ...
119
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...