Executable JVM model for analytical reasoning: A study

Hanbing Liu, J. Strother Moore. Executable JVM model for analytical reasoning: A study. Science of Computer Programming, 57(3):253-274, 2005. [doi]

Abstract

Abstract is missing.