SECD machine
http://dbpedia.org/resource/SECD_machine an entity of type: WikicatModelsOfComputation
SECDマシンとは、関数型言語のコンパイラのターゲット（目的機械）を意図し、後に大きな影響を与えた抽象機械である。SECD は Stack（スタック）、Environment（環境）、Code（コード）、Dump（ダンプ）の略であり、それぞれ仮想機械にあるレジスタの名称となっている。これらのレジスタはメモリ上の連結リストを指している。 Peter J. Landinの考案によるもので、1964年のComputer Journal誌が初出である。ラムダ計算式を評価するものだが、Landin の発表した説明は非常に抽象的で、（操作的意味論のように）実装にかなりの自由度が与えられていた。SECDマシンはより詳細化された形態で説明されることが多く、例えば Peter Henderson の Lispkit Lisp コンパイラは SECDマシンをベースとして1980年に登場している。以降、いくつかの実験的コンパイラが SECDマシンをターゲットとして使用してきた。また、ISWIMを提案した "The Next 700 Programming Languages" でも参考文献として挙げられている。 1989年、カルガリー大学の研究者がSECDマシンをハードウェアで実装する研究を行った。
rdf:langString
SECD机是有高度影响力的一种虚拟机和抽象机器，它意图用作函数式编程语言编译器的编译目标。四个字母分别表示：Stack、Environment、Control、Dump，它们是这个机器的内部寄存器。寄存器Stack、Control和Dump指向堆栈（的某种实现），而Environment指向关联数组（的某种实现）。 这个机器是第一个专门设计用来求值lambda演算表达式的机器。它最初描述于Peter J. Landin的1964年论文《表达式的机器求值》中。Landin发表的描述非常抽象，留下了很多实现选择待定（就像一种操作语义）。因此SECD机经常以一种更具体的形式出现，比如Peter Henderson的LispKit Lisp编译器，它自从1980年开始发行。自此它已经被用作了一些其他的实验编译器的目标。 在1989年卡尔加里大学的研究者制作了这个机器的一个硬件实现。
rdf:langString
Die SECD-Maschine ist eine virtuelle Maschine, die als Zielarchitektur für Compiler funktionaler Programmiersprachen gedacht ist. Die Buchstaben stehen für Stack, Environment, Control, Dump, welches die internen Register der Maschine sind. Diese Register enthalten Zeiger auf Listen im Speicher. Im Jahr 1989 arbeiteten Forscher an der University of Calgary an einer Hardware-Implementierung der Maschine.
rdf:langString
La machine SECD est une machine virtuelle (dite encore machine abstraite) qui a été conçue pour servir de cible à la compilation des premiers langages de programmation et a eu une grande influence sur les origines de l'informatique et des langages de programmation, y compris la machine virtuelle Java. Son acronyme SECD provient des quatre constituants de son état à savoir la pile (stack en anglais), l'environnement, le contrôle, le dépôt (dump en anglais).
rdf:langString
The SECD machine is a highly influential (see: ) virtual machine and abstract machine intended as a target for functional programming language compilers. The letters stand for Stack, Environment, Control, Dump—the internal registers of the machine. The registers Stack, Control, and Dump point to (some realisations of) stacks, and Environment points to (some realisation of) an associative array.
rdf:langString
SECD-машина — абстрактная машина, интерпретатор выражений λ-исчисления. Использует четыре стека: S (англ. stack) — стек объектов для вычисления рекурсивных выражений, E (англ. environment) — контекст (отображение идентификаторов в объекты), C (англ. control list) — управляющая строка (список управления), D (англ. dump) — дамп, хранилище предыдущих состояний, используемое для возврата из вызова функций.
rdf:langString
rdf:langString
SECD-Maschine
rdf:langString
Machine SECD
rdf:langString
SECDマシン
rdf:langString
SECD machine
rdf:langString
SECD-машина
rdf:langString
SECD抽象机
xsd:integer
28970
xsd:integer
1105244250
rdf:langString
Die SECD-Maschine ist eine virtuelle Maschine, die als Zielarchitektur für Compiler funktionaler Programmiersprachen gedacht ist. Die Buchstaben stehen für Stack, Environment, Control, Dump, welches die internen Register der Maschine sind. Diese Register enthalten Zeiger auf Listen im Speicher. Die SECD-Maschine war die erste virtuelle Maschine, die ausdrücklich dazu entworfen wurde, Ausdrücke des Lambda-Kalküls auszuwerten. Sie wurde ursprünglich im Jahr 1963 von Peter J. Landin als Teil der Definition seiner Programmiersprache ISWIM beschrieben. Die von Landin publizierte Beschreibung war ziemlich abstrakt und ließ viele Implementierungsentscheidungen offen, wie zum Beispiel die Frage einer operationalen Semantik. Deshalb wird die SECD-Maschine oft auch in detaillierterer Form vorgestellt, wie zum Beispiel in -Compiler, der seit 1980 verteilt wird. Sie wird auch als Zielarchitektur für verschiedene andere experimentelle Compiler verwendet. Im Jahr 1989 arbeiteten Forscher an der University of Calgary an einer Hardware-Implementierung der Maschine.
rdf:langString
The SECD machine is a highly influential (see: ) virtual machine and abstract machine intended as a target for functional programming language compilers. The letters stand for Stack, Environment, Control, Dump—the internal registers of the machine. The registers Stack, Control, and Dump point to (some realisations of) stacks, and Environment points to (some realisation of) an associative array. The machine was the first to be specifically designed to evaluate lambda calculus expressions. It was originally described by Peter J. Landin in "The Mechanical Evaluation of Expressions" in 1964. The description published by Landin was fairly abstract, and left many implementation choices open (like an operational semantics). Lispkit Lisp was an influential compiler based on the SECD machine, and the SECD machine has been used as the target for other systems such as Lisp/370. In 1989 researchers at the University of Calgary worked on a hardware implementation of the machine.
rdf:langString
SECDマシンとは、関数型言語のコンパイラのターゲット（目的機械）を意図し、後に大きな影響を与えた抽象機械である。SECD は Stack（スタック）、Environment（環境）、Code（コード）、Dump（ダンプ）の略であり、それぞれ仮想機械にあるレジスタの名称となっている。これらのレジスタはメモリ上の連結リストを指している。 Peter J. Landinの考案によるもので、1964年のComputer Journal誌が初出である。ラムダ計算式を評価するものだが、Landin の発表した説明は非常に抽象的で、（操作的意味論のように）実装にかなりの自由度が与えられていた。SECDマシンはより詳細化された形態で説明されることが多く、例えば Peter Henderson の Lispkit Lisp コンパイラは SECDマシンをベースとして1980年に登場している。以降、いくつかの実験的コンパイラが SECDマシンをターゲットとして使用してきた。また、ISWIMを提案した "The Next 700 Programming Languages" でも参考文献として挙げられている。 1989年、カルガリー大学の研究者がSECDマシンをハードウェアで実装する研究を行った。
rdf:langString
La machine SECD est une machine virtuelle (dite encore machine abstraite) qui a été conçue pour servir de cible à la compilation des premiers langages de programmation et a eu une grande influence sur les origines de l'informatique et des langages de programmation, y compris la machine virtuelle Java. Son acronyme SECD provient des quatre constituants de son état à savoir la pile (stack en anglais), l'environnement, le contrôle, le dépôt (dump en anglais). Cette machine, due à Peter J. Landin, a été la première description formelle de l'évaluation du lambda-calcul et fut élaborée en 1963 en association avec son projet de langage de programmation ISWIM. Comme la description originelle de Landin laissait beaucoup de détails dans l'ombre, la présentation de la SECD qui est la plus communément acceptée est celle que Peter Henderson a faite en 1980 dans le cadre de son compilateur Lisp Lispkit. Depuis, elle a été utilisée comme cible de plusieurs compilateurs et en particulier comme base d'une implantation matérielle réalisée par des chercheurs de l'université de Calgary.
rdf:langString
SECD-машина — абстрактная машина, интерпретатор выражений λ-исчисления. Использует четыре стека: S (англ. stack) — стек объектов для вычисления рекурсивных выражений, E (англ. environment) — контекст (отображение идентификаторов в объекты), C (англ. control list) — управляющая строка (список управления), D (англ. dump) — дамп, хранилище предыдущих состояний, используемое для возврата из вызова функций. Интерпретатор предложен в 1964 году Питером Лэндином в статье «The Mechanical Evaluation of Expressions» (механическое вычисление выражений). SECD-машина легла в основу многих практических реализаций функциональных языков программирования (как энергичных, так и ленивых вычислений), хотя и требует оптимизации.
rdf:langString
SECD机是有高度影响力的一种虚拟机和抽象机器，它意图用作函数式编程语言编译器的编译目标。四个字母分别表示：Stack、Environment、Control、Dump，它们是这个机器的内部寄存器。寄存器Stack、Control和Dump指向堆栈（的某种实现），而Environment指向关联数组（的某种实现）。 这个机器是第一个专门设计用来求值lambda演算表达式的机器。它最初描述于Peter J. Landin的1964年论文《表达式的机器求值》中。Landin发表的描述非常抽象，留下了很多实现选择待定（就像一种操作语义）。因此SECD机经常以一种更具体的形式出现，比如Peter Henderson的LispKit Lisp编译器，它自从1980年开始发行。自此它已经被用作了一些其他的实验编译器的目标。 在1989年卡尔加里大学的研究者制作了这个机器的一个硬件实现。
xsd:nonNegativeInteger
12912