Travelled to:
1 × USA
Collaborated with:
N.Hsu
Talks about:
architectur (1) properti (1) virtual (1) recurs (1) machin (1) formal (1)
Person: Gerald Belpaire
DBLP: Belpaire:Gerald
Contributed to:
Wrote 1 papers:
- SOSP-1975-BelpaireN #architecture #recursion #virtual machine
- Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.