General Terms

Συγγραφείς: Tomoyuki Higuchi

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf.

Θεματικοί όροι: Languages, Theory, Verification Keywords Java bytecode

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9763; http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9763
http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf