ESOP
1992
Springer
14 years 1 months ago
1992
Springer
ESOP
1992
Springer
14 years 1 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...
POPL
1993
ACM
14 years 1 months ago
1993
ACM
ESOP
1992
Springer
14 years 1 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
14 years 1 months ago
1992
Springer
POPL
1993
ACM
14 years 1 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
POPL
1993
ACM
14 years 1 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
POPL
1993
ACM
14 years 1 months ago
1993
ACM
POPL
1993
ACM
14 years 1 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
POPL
1993
ACM
14 years 1 months ago
1993
ACM