MFCS
1998
Springer
13 years 12 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 12 months ago
1998
Springer
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
It is known that a language is context-free iff it is the set of borders of the trees of recognizable set, where the border of a (labelled) tree is the word consisting of its leaf ...
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...
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
MFCS
1998
Springer
13 years 12 months ago
1998
Springer
FOCS
1997
IEEE
13 years 12 months ago
1997
IEEE
We show that in the context of nonuniform complexity, nondeterministic logarithmic space bounded computation can be made unambiguous. An analogous result holds for the class of pr...