Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,168,386 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.
2015
2015
Comparative Study and Performance Evaluation of Formal Specification Language based on Z, B and VDM Tools
Shrishti Tamrakar
,
Anubhav Sharma
2015
Corpus ID: 212544286
— Formal method provides specification, proving and verification of software. It targets the semantics rather than syntax of the…
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
2007
2007
Arquitectura basada en FPGAs para la detección de objetos en movimiento, utilizando visión computacional y técnicas PCA
Ignacio Bravo Muñoz
2007
Corpus ID: 193198926
2000
2000
Defining and Implementing Closed, Domain-Specific Languages
R. Kieburtz
2000
Corpus ID: 11926387
A losed domain-spe i language (DSL) is a standalone, de larative language that annot easily be embedded into an existing, wide…
Expand
1998
1998
An Exploration of Programming by Demonstration in the Domain of Novice Programming
David Gilligan
1998
Corpus ID: 59917068
Learning to program is hard. Novice programmers have di culty translating a task's speci cation into behaviour for the computer…
Expand
1996
1996
The Graphics Environment for Max
M. Danks
International Conference on Mathematics and…
1996
Corpus ID: 29665601
The Graphics Environment for Max, or GEM, is a real-time computer graphics language which operates under the SGI version of Max…
Expand
1996
1996
The Impact of Data Communication and Control Synchronization on Coarse-Grain Task Parallelism
J. Hordijk
,
H. Corporaal
1996
Corpus ID: 15123841
The lunch box comprises a generally square base container and a correspondingly shaped cover each being integrally formed from…
Expand
1993
1993
On the Masking Effect
Milind Tambe
,
P. Rosenbloom
AAAI Conference on Artificial Intelligence
1993
Corpus ID: 11604251
Machine learning approaches to knowledge compilation seek to improve the perfonnance of problem-solvers by storing solutions to…
Expand
1988
1988
Locally Governed Trees and Dependecncy Parsing
H. Jäppinen
,
E. Lassila
,
A. Lehtola
International Conference on Computational…
1988
Corpus ID: 15292273
'BJ-::~ paper desc[J.~s the notion of ]pcall.y gove~:ned t~:ees as a n<x]el of sttuCtu17ally [estrfcted dependency st~:uctures 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