46 search results - page 2 / 10 » Using Java APIs with Native Ada Compilers |
VEE
2005
ACM
13 years 11 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
JAVACARD
2000
13 years 9 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
The Java programming environment is increasingly being used to build large-scale multi-language applications. Whether these applications combine Java with other languages for legac...
JAVA
1999
Springer
13 years 10 months ago
1999
Springer
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...
PDPTA
2000
13 years 7 months ago
2000
MetaVM is a distributed object system for Java virtual machine. It allows programmers to deal with remote objects in the same way they do local objects. Therefore, it can provide a...