Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,971,739 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract data type
Abstract interpretation
Analysis of algorithms
Automata theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Prototyping Formal System Models with Active Objects
Eduard Kamburjan
,
Reiner Hähnle
International Conference on Information and…
2018
Corpus ID: 52926759
We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a…
Expand
2013
2013
Abstract MP17: Testosterone Change Relates to Lipid Change on Statins
B. Golomb
,
Sabrina Koperski
2013
Corpus ID: 68460237
Background: Cholesterol is a precursor for steroid hormones. We sought to assess whether as well as how lipid change in men on…
Expand
2010
2010
POLLUTION PHYSICO-CHIMIQUE DES EAUX DE BARRAGE DE LA REGION D'EL TARF. IMPACT SUR LA CHLORATION
Pollution PHYSICO-CHIMIQUE
,
Des Eaux
,
+4 authors
LA Chloration
2010
Corpus ID: 161183178
Les barrages de Mexa et Chefia, situes pres de la ville d'El Tarf, sont utilises aussi bien pour l'alimentation en eau potable…
Expand
2008
2008
Machine Learning Algorithms for Choosing Compiler Heuristics
Gennady Pekhimenko
2008
Corpus ID: 17014489
Machine Learning Algorithms for Choosing Compiler Heuristics Gennady G. Pekhimenko Master of Science Graduate Department of…
Expand
2001
2001
Components as coalgebras
L. Barbosa
2001
Corpus ID: 142746674
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center…
Expand
1998
1998
A knowledge-based system for hardware-software partitioning
M. López-Vallejo
,
C. Iglesias
,
J. C. López
Proceedings Design, Automation and Test in Europe
1998
Corpus ID: 634481
This paper presents SHAPES, a tool for hardware-software partitioning. It is based on two main paradigms: the implementation of…
Expand
1998
1998
Colimit library for graph transformations and algebraic development techniques
D. Wolz
1998
Corpus ID: 8848682
1997
1997
Compiling and supporting skeletons on MPP
Susanna Pelagatti
Proceedings. Third Working Conference on…
1997
Corpus ID: 17157958
Parallel programming needs a high level programming model in which compilers and run time supports take care of traditionally…
Expand
Review
1995
Review
1995
An Abstract Machine for Attribute-Value Logics
Bryan Carpenter
,
Yunyao Qu
International Workshop/Conference on Parsing…
1995
Corpus ID: 59807388
A direct abstract machine implementation of the core attribute-value logic operations is shown to decrease the number of…
Expand
1972
1972
A model for the formal definition of programming languages
K. Culík
1972
Corpus ID: 62566059
An operational model which allows the complete formal definition of the full syntax and, particularly, semantics of programming…
Expand