Sciweavers

1995 search results - page 27 / 399
» The Chemical Abstract Machine
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...
77
Voted
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...
62
Voted
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
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