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.
Highly Cited
2015
Highly Cited
2015
We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and… Expand
  • table 1
  • table 2
  • table 3
  • figure 4
  • table 4
Is this relevant?
Highly Cited
2014
Highly Cited
2014
It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2014
Highly Cited
2014
To achieve exascale computing, fundamental hardware architectures must change. This will significantly impact scientific… Expand
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper, we present a framework and the software architecture for the deployment of multiple autonomous robots in an… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We derive a simple abstract machine for lazy evaluation of the lambda calculus, starting from Launchbury's natural semantics… Expand
Is this relevant?
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
Is this relevant?