7

Global state considered unnecessary: An introduction to object-based semantics

Year:
1996
Language:
english
File:
PDF, 4.35 MB
english, 1996
8

Linear Continuation-Passing

Year:
2002
Language:
english
File:
PDF, 168 KB
english, 2002
11

On the power of abstract interpretation

Year:
1993
Language:
english
File:
PDF, 745 KB
english, 1993
46

Correctness of data representations involving heap data structures

Year:
2004
Language:
english
File:
PDF, 376 KB
english, 2004
48

Objects, interference, and the Yoneda embedding

Year:
1999
Language:
english
File:
PDF, 194 KB
english, 1999
49

Deductive and inductive synthesis of equational programs

Year:
1993
Language:
english
File:
PDF, 1.59 MB
english, 1993
50

Induction using term orders

Year:
1996
Language:
english
File:
PDF, 1.55 MB
english, 1996