Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,859,389 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.
2010
2010
TRO 40303 , a New Cardioprotective Compound , Inhibits Mitochondrial Permeability Transition
S. Schaller
,
S. Paradis
,
+11 authors
R. Pruss
2010
Corpus ID: 39481093
3,5-Seco-4-nor-cholestan-5-one oxime-3-ol (TRO40303) is a new cardioprotective compound coming from a chemical series identified…
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
2004
2004
VERIFYING CORRECTNESS OF WEB SERVICE COMPOSITION
N. Milanovic
,
M. Malek
2004
Corpus ID: 17061426
We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the…
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