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