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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1958-2017
020406019582017

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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents an abstract machine for a variant of the stochastic pi-calculus, in order to correctly model the stochastic… (More)
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… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
|We are exploring an approach to formally specifying and analyzing software architectures that is based on viewing software… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The Threaded Abstract Machine (TAM) refines dataflow execution models to address the critical constraints that modern parallel… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1991
Highly Cited
1991
In this paper, we present a relatively primitive execution model for ne-grain parallelism, in which all synchronization… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
1990
1990
Two abstract machines reducing terms to their full normal form are presented in this paper. They are based on Krivine's abstract… (More)
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… (More)
Is this relevant?
1989
1989
The Persistent Abstract Machine is an integral part of a layered architecture model to support the Napier language. It interfaces… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The Hypertext Abstract Machine (HAM) is a general-purpose, transaction-based, server for a hypertext storage system. The server… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?