Sciweavers

1870 search results - page 1 / 374
» Abstract And-Parallel Machines
Sort
View
EUROPAR
1997
Springer
13 years 11 months ago
Abstract And-Parallel Machines
Nachum Dershowitz, Naomi Lindenstrauss
FAC
2000
76views more  FAC 2000»
13 years 7 months ago
Natural Semantics-Directed Generation of Compilers and Abstract Machines
s and Abstract Machines Stephan Diehl Universit
Stephan Diehl
FGCS
2000
105views more  FGCS 2000»
13 years 7 months ago
Abstract machines for programming language implementation
machines for programming language implementation Stephan Diehla, , Pieter Hartelb , Peter Sestoftc a FB-14 Informatik, Universit
Stephan Diehl, Pieter H. Hartel, Peter Sestoft
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...