Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Abstract Machine learning (ML) has recently gained in popularity, spurred by well-publicized advances like deep learning and… Expand
Highly Cited
2010
Highly Cited
2010
We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • table I
  • figure 2
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… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
1997
Highly Cited
1997
  • P. Sestoft
  • J. Funct. Program.
  • 1997
  • Corpus ID: 2392616
We derive a simple abstract machine for lazy evaluation of the lambda calculus, starting from Launchbury's natural semantics… Expand
Highly Cited
1992
Highly Cited
1992
Abstract We introduce a new kind of abstract machine based on the chemical metaphor used in the Γ language of Banâtre and Le… Expand
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… Expand
  • table 1.2
  • table 1.3
  • table 1.4
  • table 4.1
  • figure 4.1
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… Expand
Highly Cited
1971
Highly Cited
1971
Compilers for high-level languages aTe generally constructed to give the complete translation of the programs into machme… Expand
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… Expand