Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract data typeAbstract interpretationAnalysis of algorithmsAutomata theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
A Generalized Higher-Order Chemical Computation Model
2004
2004
Executable HybridUML and Its Application to Train Control Systems
In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the… 
2002
2002
Abstractions and Reductions in Model Checking
We introduce the basic concepts of temporal logic model checking and its state explosion problem. We then focus on abstraction… 
2001
2001
Components as coalgebras
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center… 
1992
1992
A framework for automatic DFA system development
1990
1990
An algebraic and predicate logic approach to representation and reasoning in machine design
Highly Cited
1990
Highly Cited
1990
Algebraic Operational Semantics and Occam
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an… 
1986
1986
Framework for formulation and analysis of parallel computation structures
1980
1980
A Method for Expressing the Functional Requirements of Real-Time Systems
1977
1977
The probabilistic character of relevance
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)