Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q954312> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Q954312 subject Q15142507.
- Q954312 subject Q7483203.
- Q954312 subject Q8153166.
- Q954312 subject Q8543362.
- Q954312 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.".
- Q954312 wikiPageExternalLink P157-landin.pdf.
- Q954312 wikiPageExternalLink sec.
- Q954312 wikiPageExternalLink 33.
- Q954312 wikiPageWikiLink Q1067471.
- Q954312 wikiPageWikiLink Q1120519.
- Q954312 wikiPageWikiLink Q15142507.
- Q954312 wikiPageWikiLink Q1533797.
- Q954312 wikiPageWikiLink Q177929.
- Q954312 wikiPageWikiLink Q183065.
- Q954312 wikiPageWikiLink Q192726.
- Q954312 wikiPageWikiLink Q193076.
- Q954312 wikiPageWikiLink Q1930895.
- Q954312 wikiPageWikiLink Q242028.
- Q954312 wikiPageWikiLink Q322202.
- Q954312 wikiPageWikiLink Q3350958.
- Q954312 wikiPageWikiLink Q379695.
- Q954312 wikiPageWikiLink Q4781618.
- Q954312 wikiPageWikiLink Q535335.
- Q954312 wikiPageWikiLink Q6559099.
- Q954312 wikiPageWikiLink Q7003418.
- Q954312 wikiPageWikiLink Q7483203.
- Q954312 wikiPageWikiLink Q7675224.
- Q954312 wikiPageWikiLink Q7727237.
- Q954312 wikiPageWikiLink Q787114.
- Q954312 wikiPageWikiLink Q814194.
- Q954312 wikiPageWikiLink Q8153166.
- Q954312 wikiPageWikiLink Q8543362.
- Q954312 wikiPageWikiLink Q92952.
- Q954312 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.".
- Q954312 label "SECD machine".