Je was op zoek naar: abstract machine (Engels - Spaans)

abstract machine
máquina abstracta

abstract machine notation
notación máquina abstracta

abstract
resumen

- abstract
- branton).

machine abstract
análisis automático, autoextracto, extracto automático

the alice implementation from saarland university uses the seam (simple extensible abstract machine) virtual machine.
la implementación de alice de la universidad saarland utiliza la máquina virtual abstracta extensible seam (simple extensible abstract machine por sus siglas en inglés).

in complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.
en teoría de la complejidad y en la teoría de la computabilidad, una máquina oráculo es una máquina abstracta usada para estudiar problemas de decisión.

an abstract machine implemented as a software simulation, or for which an interpreter exists, is called a virtual machine.
una máquina abstracta que implementada como una simulación de software, o para la que existe un interpretador, es llamada una máquina virtual.

in computer science, an intermediate language is the language of an abstract machine designed to aid in the analysis of computer programs.
en ciencias de la computación, un lenguaje intermedio es el lenguaje de una máquina abstracta diseñada para ayudar a realizar el análisis de un programa informático.

an abstract machine can also refer to a microprocessor design which has yet to be (or is not intended to be) implemented as hardware.
una máquina abstracta puede referirse a un diseño de microprocesador que todavía está por ser (o no pretende ser) implementado como hardware.

a typical abstract machine consists of a definition in terms of input, output, and the set of allowable operations used to turn the former into the latter.
una típica máquina abstracta consiste en una definición en términos de entrada, salida y el conjunto de las operaciones permitidas usadas para convertir la primera en la segunda.

more complex definitions create abstract machines with full instruction sets, registers and models of memory.
definiciones más complejas crean máquinas abstractas con completos conjuntos de instrucciones, registros y modelos de memoria.

through the use of abstract machines it is possible to compute the amount of resources (time, memory, etc.
mediante el uso de máquinas abstractas es posible calcular la cantidad de recursos (tiempo, memoria, etc.

abstract. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
síntesis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

* stephan diehl, pieter hartel and peter sestoft, "abstract machines for programming language implementation", future generation computer systems, vol.
* stephan diehl, pieter hartel and peter sestoft, "abstract machines for programming language implementation", future generation computer systems, vol.