4 search results - page 1 / 1 » esop 1992 |
ESOP
1992
Springer
15 years 6 months ago
1992
Springer
82
Voted
ESOP
1992
Springer
15 years 6 months ago
1992
Springer
118
click to vote
ESOP
1992
Springer
15 years 6 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
159
Voted
ESOP
1992
Springer
15 years 6 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...