|
Journals in DBLP
Comput. Lang. 1980, volume: 5, number: 1
- Robert P. Rich
Mechanical Proof Testing. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1980, v:5, n:1, pp:1-28 [Journal]
- John H. Crawford, Mehdi Jazayeri
A New Approach to Code Motion and its Application to Hoisting. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1980, v:5, n:1, pp:29-36 [Journal]
- M. Howard Williams
A Formal Notation for Specifying Static Semantic Rules. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1980, v:5, n:1, pp:37-55 [Journal]
|