51

Fine-grained Concurrency with Separation Logic

Year:
2011
Language:
english
File:
PDF, 711 KB
english, 2011
54

Objects, Interference, and the Yoneda Embedding

Year:
1995
Language:
english
File:
PDF, 1.27 MB
english, 1995
55

Objects and Classes in Algol-Like Languages

Year:
2002
Language:
english
File:
PDF, 189 KB
english, 2002
72

The Essence of Reynolds

Year:
2014
Language:
english
File:
PDF, 196 KB
english, 2014
89

Alprazolam-induced hypomania

Year:
1996
Language:
english
File:
PDF, 236 KB
english, 1996
96

Transformational derivation of programs using the focus system

Year:
1989
Language:
english
File:
PDF, 1.24 MB
english, 1989
98

Formal methods in transformational derivation of programs

Year:
1990
Language:
english
File:
PDF, 1.14 MB
english, 1990