64
Voted
ESOP
1992
Springer
15 years 3 months ago
1992
Springer
135
Voted
ESOP
1992
Springer
15 years 3 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...
98
Voted
ESOP
1992
Springer
15 years 3 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
15 years 3 months ago
1992
Springer
