13 search results - page 2 / 3 » mfcs 1998 |
MFCS
1998
Springer
13 years 9 months ago
1998
Springer
MFCS
1998
Springer
13 years 9 months ago
1998
Springer
MFCS
1998
Springer
13 years 9 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
MFCS
1998
Springer
13 years 8 months ago
1998
Springer
One-way cellular automata with restricted nondeterminism are investigated. The number of allowed nondeterministic state transitions is limited to a constant. It is shown that a lim...
MFCS
1998
Springer
13 years 9 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...