Search Sciweavers | Sciweavers

1914 search results - page 24 / 383

» Abstract lambda-Calculus Machines

click to vote

ECOOPW
1998
Springer

100views Distributed And Parallel Com...» more ECOOPW 1998»

A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine

13 years 12 months ago

Download www.di.uniovi.es

Lourdes Tajes Martínez, Fernando Álv...

claim paper

Read More »

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

13 years 12 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

click to vote

ECOOPW
1997
Springer

87views Distributed And Parallel Com...» more ECOOPW 1997»

An Object-Oriented Abstract Machine as the Substrate for an Object-Oriented Operating System

13 years 12 months ago

Download www.di.uniovi.es

Darío Álvarez Gutiérrez, Lour...

claim paper

Read More »

click to vote

EUROPAR
1997
Springer

111views Distributed And Parallel Com...» more EUROPAR 1997»

Abstract And-Parallel Machines

13 years 12 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Naomi Lindenstrauss

claim paper

Read More »

click to vote

EDBT
1990
ACM

79views Database» more EDBT 1990»

Abstract Machine for LDL

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers