|
Partial Evaluation and Automatic Program Generation (Prentice-hall International Series in Computer Science)
by
3.80 avg rating — 5 ratings
—
published
1993
—
4 editions
|
|
|
Computability and Complexity: From a Programming Perspective
by
4.50 avg rating — 2 ratings
—
published
1997
—
3 editions
|
|
|
Computability theory: an introduction (ACM monograph series)
by
really liked it 4.00 avg rating — 2 ratings
—
4 editions
|
|
|
Program Flow Analysis: Theory and Applications (Prentice-Hall Software Series)
by
liked it 3.00 avg rating — 1 rating
—
published
1981
|
|
|
Verification, Model Checking, and Abstract Interpretation
by
0.00 avg rating — 0 ratings
—
published
2009
—
2 editions
|
|
|
Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science)
by
0.00 avg rating — 0 ratings
—
published
1994
—
4 editions
|
|
|
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues (Lecture Notes in Computer Science, 66)
by
0.00 avg rating — 0 ratings
—
published
1978
—
3 editions
|
|
|
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (Lecture Notes in Computer Science, 94)
by
0.00 avg rating — 0 ratings
—
published
1980
—
3 editions
|
|
|
Esop '90: Proceedings (Lecture Notes in Computer Science)
by
0.00 avg rating — 0 ratings
—
published
1990
—
3 editions
|
|
|
Verification, Model Checking, and Abstract Interpretation
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.