4 search results - page 1 / 1 » esop 1992 |
ESOP
1992
Springer
13 years 10 months ago
1992
Springer
ESOP
1992
Springer
13 years 10 months ago
1992
Springer
ESOP
1992
Springer
13 years 10 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...
ESOP
1992
Springer
13 years 10 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...