ESOP 1992 | Sciweavers

24

click to vote

ESOP
1992
Springer

102views Programming Languages» more ESOP 1992»

Typing References by Effect Inference

14 years 4 months ago

Download mitpress.mit.edu

Andrew K. Wright

claim paper

Read More »

51

click to vote

ESOP
1992
Springer

148views Programming Languages» more ESOP 1992»

A Provably Correct Compiler Generator

14 years 4 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 »

38

click to vote

ESOP
1992
Springer

81views Programming Languages» more ESOP 1992»

Dynamic Typing

14 years 4 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 »

28

click to vote

ESOP
1992
Springer

88views Programming Languages» more ESOP 1992»

A Semantics for Multiprocessor Systems

14 years 4 months ago