1937 search results - page 13 / 388 » Adaptation-based programming in java |
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
This paper introduces the Bantam Java compiler project, a new language and compiler designed specifically for the classroom. Bantam Java, the source programming language, is a sma...
HIPEAC
2011
Springer
12 years 7 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
CARDIS
2000
Springer
14 years 3 days ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...