L.R. Clausen and O. Danvy. Compiling proper tail recursion and first-class continuations: Scheme on the Java Virtual Machine. The Journal of C Language Translation, 6(1):20--32, April 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Addressing Dynamic Issues of Program Model Checking - Lerda, Visser (7 citations) (Correct)
.... by the Java virtual machine (just JVM from now on) By executing the bytecode we can not only analyze all of Java, but we can also analyze programs without source code (e.g. libraries and code down loaded over the web) and other languages for which bytecode translations exist [BKR98,Taf96,CD98] Recently JPF has been integrated with the Bandera system [CDH 00] in this case Bandera doesn t need to do any translation because our tool is able to handle Java directly, but Bandera s functionality of slicing and abstraction are available to improve the model checking. If one looks at ....
L.R. Clausen and O. Danvy. Compiling proper tail recursion and first-class continuations: Scheme on the Java Virtual Machine. The Journal of C Language Translation, 6(1):20--32, April 1998.
Addressing Dynamic Issues of Program Model Checking - Lerda, Visser (2001) (7 citations) (Correct)
.... by the Java virtual machine (just JVM from now on) By executing the bytecode we can not only analyze all of Java, but we can also analyze programs without source code (e.g. libraries and code down loaded over the web) and other languages for whichbytecode translations exist [BKR98] Taf96] CD98] Recently JPF has been integrated with the Bandera system [CDH 00] in this case Bandera doesn t need to do any translation because our tool is able to handle Java directly, but Bandera s functionality of slicing and abstraction are available to improve the model checking. If one looks at ....
L.R. Clausen and O. Danvy. Compiling proper tail recursion and first-class continuations: Scheme on the Java Virtual Machine. The Journal of C Language Translation, 6(1):20--32, April 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC