Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/SECD_machine> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples 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 P157-landin.pdf.
- SECD_machine wikiPageExternalLink sec.
- SECD_machine wikiPageExternalLink 33.
- SECD_machine wikiPageID "28970".
- SECD_machine wikiPageLength "10867".
- SECD_machine wikiPageOutDegree "26".
- SECD_machine wikiPageRevisionID "678296742".
- SECD_machine wikiPageWikiLink Abstract_machine.
- SECD_machine wikiPageWikiLink Apply.
- SECD_machine wikiPageWikiLink Category:1964_in_computer_science.
- SECD_machine wikiPageWikiLink Category:Abstract_machines.
- SECD_machine wikiPageWikiLink Category:Implementation_of_functional_programming_languages.
- SECD_machine wikiPageWikiLink Category:Models_of_computation.
- SECD_machine wikiPageWikiLink Closure_(computer_programming).
- SECD_machine wikiPageWikiLink Communications_of_the_ACM.
- SECD_machine wikiPageWikiLink Functional_programming.
- SECD_machine wikiPageWikiLink Garbage_collection_(computer_science).
- SECD_machine wikiPageWikiLink ISWIM.
- SECD_machine wikiPageWikiLink Interpreter_(computing).
- SECD_machine wikiPageWikiLink Lambda_calculus.
- SECD_machine wikiPageWikiLink Linked_list.
- SECD_machine wikiPageWikiLink Lispkit_Lisp.
- SECD_machine wikiPageWikiLink Olivier_Danvy.
- SECD_machine wikiPageWikiLink Operational_semantics.
- SECD_machine wikiPageWikiLink Peter_Henderson_(programmer).
- SECD_machine wikiPageWikiLink Peter_Landin.
- SECD_machine wikiPageWikiLink Program_counter.
- SECD_machine wikiPageWikiLink Reverse_Polish_notation.
- SECD_machine wikiPageWikiLink Stack_(abstract_data_type).
- SECD_machine wikiPageWikiLink Tagged_architecture.
- SECD_machine wikiPageWikiLink The_Computer_Journal.
- SECD_machine wikiPageWikiLink University_of_Calgary.
- SECD_machine wikiPageWikiLink Virtual_machine.
- SECD_machine wikiPageWikiLinkText "SECD machine".
- SECD_machine wikiPageWikiLinkText "SECD".
- SECD_machine wikiPageWikiLinkText "SECD_machine".
- SECD_machine wikiPageUsesTemplate Template:Citation_needed.
- SECD_machine wikiPageUsesTemplate Template:Cite_journal.
- SECD_machine wikiPageUsesTemplate Template:Reflist.
- 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 Model.
- SECD_machine type Machine.
- SECD_machine type Method.
- SECD_machine type Model.
- 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 sameAs Q954312.
- SECD_machine sameAs SECD-Maschine.
- SECD_machine sameAs Machine_SECD.
- SECD_machine sameAs SECDマシン.
- SECD_machine sameAs m.075ll.
- SECD_machine sameAs Q954312.
- SECD_machine sameAs SECD抽象机.
- SECD_machine wasDerivedFrom SECD_machine?oldid=678296742.
- SECD_machine isPrimaryTopicOf SECD_machine.