Sciweavers

1870 search results - page 1 / 374
» Abstract And-Parallel Machines
Sort
View
EUROPAR
1997
Springer
14 years 2 months ago
Abstract And-Parallel Machines
Nachum Dershowitz, Naomi Lindenstrauss
FAC
2000
76views more  FAC 2000»
13 years 10 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 10 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 10 months ago
Parallel Computation in Abstract Network Machine
Andrei Tchernykh, Abdrei Stepanov, Antonio Rodr&ia...
ENTCS
2002
93views more  ENTCS 2002»
13 years 10 months ago
An Abstract Machine for a Higher-Order Distributed Process Calculus
Florence Germain, Marc Lacoste, Jean-Bernard Stefa...