3815 search results - page 191 / 763 » An Implementation of Session Types |
POPL
1998
ACM
14 years 15 days ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
WSC
2004
13 years 9 months ago
2004
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
SAC
2006
ACM
13 years 8 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
CL
1999
Springer
13 years 8 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...