794 search results - page 75 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
CL
2008
Springer
13 years 9 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
SPIN
2000
Springer
14 years 15 days ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
IFL
2005
Springer
14 years 2 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...