Cornelia Pusch

Learn More
Compiled Java programs may be downloaded from the World Wide Web and be executed on any host platform that implements the Java Virtual Machine (JVM). However, in general it is impossible to check the origin of the code and trust in its correctness. Therefore, standard implementations of the JVM contain a bytecode veriier that statically checks several(More)
Relying on a derivation of the Warren Abstract Machine (WAM) by s t e p wise reenement of Prolog models by B orger and Rosen-zweig we p r e s e n t a formalization of an operational semantics for Prolog. Then we develop four reenement steps towards the Warren Abstract Machine (WAM). The correctness and completeness proofs for each step have been elaborated(More)
  • 1