Sciweavers

1932 search results - page 11 / 387
» Molecule-oriented programming in Java
Sort
View
JAVA
2000
Springer
14 years 1 months ago
Development routes for message passing parallelism in Java
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
J. A. Mathew, Heath A. James, Kenneth A. Hawick
MFCS
1998
Springer
14 years 2 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
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...
Egon Börger, Wolfram Schulte
SIGCSE
2008
ACM
146views Education» more  SIGCSE 2008»
13 years 9 months ago
Bantam: a customizable, java-based, classroom compiler
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...
Marc L. Corliss, E. Christopher Lewis
FMICS
2009
Springer
14 years 1 months ago
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
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...
Pavel Parizek, Tomás Kalibera
CARDIS
2000
Springer
173views Hardware» more  CARDIS 2000»
14 years 2 months ago
Smart Tools for Java Cards
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...
Isabelle Attali, Denis Caromel, Carine Courbis, Lu...