Sciweavers

1874 search results - page 21 / 375
» Abstract Machine for LDL
Sort
View
CYS
2000
105views more  CYS 2000»
13 years 7 months ago
Parallel Computation in Abstract Network Machine
Andrei Tchernykh, Abdrei Stepanov, Antonio Rodr&ia...
ENTCS
2002
93views more  ENTCS 2002»
13 years 7 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»
13 years 7 months ago
Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Börger, James K. Huggins
TOPLAS
1998
113views more  TOPLAS 1998»
13 years 7 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift