31686 search results - page 281 / 6338 » Resource typing in Guru |
75
Voted
ACS
2006
15 years 23 days 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...
ENTCS
2007
15 years 19 days ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
112
click to vote
NGC
2008
Springer
15 years 19 days 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...
119
Voted
ACTA
2005
15 years 18 days ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
82
Voted
JAT
2007
15 years 18 days ago
2007
We present a generalization of multiple orthogonal polynomials of type I and type II, which we call multiple orthogonal polynomials of mixed type. Some basic properties are formul...