Search Sciweavers | Sciweavers

1914 search results - page 29 / 383

» Abstract lambda-Calculus Machines

click to vote

JUCS
2008

101views more JUCS 2008»

Quo Vadis Abstract State Machines?

13 years 7 months ago

Download www.jucs.org

Egon Börger, Andreas Prinz

claim paper

Read More »

click to vote

APAL
2005

79views more APAL 2005»

Abstract State Machines: a unifying view of models of computation and of system design frameworks

13 years 7 months ago

Download www.di.unipi.it

Egon Börger

claim paper

Read More »

click to vote

LMCS
2007

61views more LMCS 2007»

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

13 years 7 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...

claim paper

Read More »

click to vote

CYS
2000

105views more CYS 2000»

Parallel Computation in Abstract Network Machine

13 years 7 months ago

Download www.ejournal.unam.mx

Andrei Tchernykh, Abdrei Stepanov, Antonio Rodr&ia...

claim paper

Read More »

click to vote

ENTCS
2002

93views more ENTCS 2002»

An Abstract Machine for a Higher-Order Distributed Process Calculus

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers