Abstract machine

Known as: Abstract computer, Machine (disambiguation)

An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2008

Girard [1] introduced Ludics as an interactive theory aiming at overcoming the distinction between syntax and semantics in logic…

2004

In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the…

2004

We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the…

2003

With the aim of the verification of programs in the C-light language [1], its kernel C-kernel is separated, and an axiomatic…

2002

We introduce the basic concepts of temporal logic model checking and its state explosion problem. We then focus on abstraction…

2001

PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center…

1998

1998

This paper presents SHAPES, a tool for hardware-software partitioning. It is based on two main paradigms: the implementation of…

Highly Cited

1990

Highly Cited

1990

We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an…

1979

The key to Jackson's Program Design Method is the definition of the inputs and outputs of a program as labelled trees and the…