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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when… 
Highly Cited
2010
Highly Cited
2010
This paper describes CRAM (Cognitive Robot Abstract Machine) as a software toolbox for the design, the implementation, and the… 
Highly Cited
2006
Highly Cited
2006
Climate change and climate variability, population growth, and land use change drive the need for new hydrologic knowledge and… 
Highly Cited
2001
Highly Cited
2001
This paper presents a general theory of action in multiagent systems which rely on a clear distinction between influences, which… 
Highly Cited
1993
Highly Cited
1993
Highly Cited
1990
Highly Cited
1990
From the Preface (See Front Matter for full Preface) An important adjunct to precision is a sound theoretical foundation. The… 
Highly Cited
1989
Highly Cited
1989
We introduce a new kind of abstract machine based on the chemical metaphor used in the Γ language of Banâtre & al. States of a… 
Highly Cited
1971
Highly Cited
1971
Compilers for high-level languages aTe generally constructed to give the complete translation of the programs into machme… 
Highly Cited
1946
Highly Cited
1946
Functional Grammar describes grammar in functional terms in which a language is interpreted as a system of meanings. The language…