Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andreas Krall
The Vienna Abstract Machine
Generalized Instruction Selection usingSSA-graphs
Related publications
Incremental Global Compilation of Prolog With the Vienna Abstract Machine
The Chemical Abstract Machine
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Abstract Machine
Abstract Language of the Machine Mind
Acta Electrotechnica et Informatica
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Vienna System and the Vienna Agreements: The View From France
RUSSIA AND THE CONTEMPORARY WORLD
A Study of Abramsky’s Linear Chemical Abstract Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards an Abstract Parallel Branch and Bound Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstract Machine Models and Proxy Architectures for Exascale Computing.
