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.

2018

Pada teori bahasa dan automata menjelaskan tentang mesin-mesin abstrak yang mana didalamnya terdapat finite state automata yang…

2010

3,5-Seco-4-nor-cholestan-5-one oxime-3-ol (TRO40303) is a new cardioprotective compound coming from a chemical series identified…

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…

1995

We give a precise definition of evolving algebras nondeterministic, mathematical machines. All proofs in the paper are based on…

1972

An operational model which allows the complete formal definition of the full syntax and, particularly, semantics of programming…