18429 search results - page 59 / 3686 » Typing dynamic typing |
111
Voted
TYPES
1998
Springer
15 years 8 months ago
1998
Springer
TYPES
1993
Springer
15 years 8 months ago
1993
Springer
132
click to vote
APLAS
2008
ACM
15 years 6 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 ...
140
click to vote
CCS
1998
ACM
15 years 8 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...