-
1
Compiler techniques for code compaction
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
2
alto: a link-time optimizer for the Compaq Alpha
Veröffentlicht in Software, practice & experience
VolltextArtikel -
3
Reasoning about naming systems
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
4
Cost analysis of logic programs
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
Functional computations in logic programs
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
Profile-directed optimization of event-based programs
Veröffentlicht in SIGPLAN notices
VolltextArtikel