ESOP 1992 | Sciweavers

6

click to vote

ESOP
1992
Springer

102views Programming Languages» more ESOP 1992»

Typing References by Effect Inference

13 years 8 months ago

Download mitpress.mit.edu

Andrew K. Wright

claim paper

Read More »

19

click to vote

ESOP
1992
Springer

148views Programming Languages» more ESOP 1992»

A Provably Correct Compiler Generator

13 years 8 months ago

Download www.cs.ucla.edu

We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...

Jens Palsberg

claim paper

Read More »

9

click to vote

ESOP
1992
Springer

81views Programming Languages» more ESOP 1992»

Dynamic Typing

13 years 8 months ago

Download research.microsoft.com

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...

Fritz Henglein

claim paper

Read More »

6

click to vote

ESOP
1992
Springer

88views Programming Languages» more ESOP 1992»

A Semantics for Multiprocessor Systems

13 years 8 months ago