18429 search results - page 59 / 3686 » Typing dynamic typing |
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
TYPES
1998
Springer
15 years 4 months ago
1998
Springer
TYPES
1993
Springer
15 years 4 months ago
1993
Springer
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
102
click to vote
CCS
1998
ACM
15 years 4 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...