Search Sciweavers | Sciweavers

31387 search results - page 14 / 6278

» Abstracting abstract 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

14 years 2 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

14 years 2 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

14 years 2 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

14 years 2 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers