DBpedia 2014 |

DBpedia 2014

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/SECD_machine> ?p ?o. }

Showing items 1 to 36 of 36 with 100 items per page.

SECD_machine abstract "The SECD machine is a highly influential 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. These registers point to linked lists in memory. The machine was the first to be specifically designed to evaluate lambda calculus expressions. It was originally described by Peter J. Landin as part of his ISWIM programming language definition in 1963. The description published by Landin was fairly abstract, and left many implementation choices open (like an operational semantics). Hence the SECD machine is often presented in a more detailed form, such as Peter Henderson's Lispkit Lisp compiler, which has been distributed since 1980. Since then it has been used as the target for several other experimental compilers.In 1989 researchers at the University of Calgary worked on a hardware implementation of the machine.".
SECD_machine wikiPageExternalLink sec.
SECD_machine wikiPageExternalLink 33.
SECD_machine wikiPageID "28970".
SECD_machine wikiPageRevisionID "586114473".
SECD_machine hasPhotoCollection SECD_machine.
SECD_machine subject Category:1964_in_computer_science.
SECD_machine subject Category:Abstract_machines.
SECD_machine subject Category:Implementation_of_functional_programming_languages.
SECD_machine subject Category:Models_of_computation.
SECD_machine type Assistant109815790.
SECD_machine type CausalAgent100007347.
SECD_machine type LivingThing100004258.
SECD_machine type Model110324560.
SECD_machine type ModelsOfComputation.
SECD_machine type Object100002684.
SECD_machine type Organism100004475.
SECD_machine type Person100007846.
SECD_machine type PhysicalEntity100001930.
SECD_machine type Whole100003553.
SECD_machine type Worker109632518.
SECD_machine type YagoLegalActor.
SECD_machine type YagoLegalActorGeo.
SECD_machine comment "The SECD machine is a highly influential 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. These registers point to linked lists in memory. The machine was the first to be specifically designed to evaluate lambda calculus expressions. It was originally described by Peter J. Landin as part of his ISWIM programming language definition in 1963.".
SECD_machine label "SECD machine".
SECD_machine label "SECD-Maschine".
SECD_machine label "SECDマシン".
SECD_machine label "SECD抽象机".
SECD_machine sameAs SECD-Maschine.
SECD_machine sameAs SECDマシン.
SECD_machine sameAs m.075ll.
SECD_machine sameAs Q954312.
SECD_machine sameAs Q954312.
SECD_machine sameAs SECD_machine.
SECD_machine wasDerivedFrom SECD_machine?oldid=586114473.
SECD_machine isPrimaryTopicOf SECD_machine.