Sciweavers

97 search results - page 2 / 20
» Interpreting dreams of abstract machines
Sort
View
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
13 years 10 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
FUIN
2006
63views more  FUIN 2006»
13 years 5 months ago
Interpreted Trajectories
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...
Michael Domaratzki, Grzegorz Rozenberg, Kai Saloma...
CC
2003
Springer
201views System Software» more  CC 2003»
13 years 9 months ago
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences
Abstract. Inline-threaded interpretation is a recent technique that improves performance by eliminating dispatch overhead within basic blocks for interpreters written in C [11]. Th...
Etienne Gagnon, Laurie J. Hendren
COMPUTER
2008
92views more  COMPUTER 2008»
13 years 5 months ago
Can Programming Be Liberated, Period?
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
David Harel
ENTCS
2007
89views more  ENTCS 2007»
13 years 5 months ago
Quantum Programs With Classical Output Streams: (Extended Abstract)
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
Dominique Unruh