Sciweavers

1889 search results - page 22 / 378
» An Abstract Machine for Oz
Sort
View
CYS
2000
105views more  CYS 2000»
14 years 11 months ago
Parallel Computation in Abstract Network Machine
Andrei Tchernykh, Abdrei Stepanov, Antonio Rodr&ia...
ENTCS
2002
93views more  ENTCS 2002»
14 years 11 months ago
An Abstract Machine for a Higher-Order Distributed Process Calculus
Florence Germain, Marc Lacoste, Jean-Bernard Stefa...
CORR
1998
Springer
116views Education» more  CORR 1998»
14 years 11 months ago
Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Börger, James K. Huggins
JFP
1998
62views more  JFP 1998»
14 years 11 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
67
Voted
TOPLAS
1998
113views more  TOPLAS 1998»
14 years 11 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift