Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Abstract_rewriting_machine> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Abstract_rewriting_machine abstract "The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems. Minimal term rewriting systems are left-linear term rewriting systems in which each rule takes on one of six forms:ContinuationReturnMatchAddDeleteIdentEach of these six forms is mapped (in ARM) to one or a few processor instructions on most contemporary micro processors. Accordingly, minimal term rewriting is achieved at tens to hundreds of clock cycles per reduction step—millions of reduction steps per second. ARM implements general term rewriting, in that every single-sorted unconditional left-linear term rewriting system can be transformed (compiled) into a minimal term rewriting system that gives rise to the same normal form relation.An overview with references to this compilation process for innermost rewriting, as well as a detailed overview of ARM, can be found in "Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems". A description for lazy (non-innermost) rewriting can be found in "Lazy rewriting on eager machinery".A documented implementation of ARM (with the term rewriting language Epic) is available here. Note that site and software are no longer being actively maintained.".
- Abstract_rewriting_machine wikiPageExternalLink citation.cfm?id=291903&dl=GUIDE&coll=&CFID=15151515&CFTOKEN=6184618.
- Abstract_rewriting_machine wikiPageExternalLink citation.cfm?id=345102&dl=ACM&coll=ACM&CFID=15151515&CFTOKEN=6184618.
- Abstract_rewriting_machine wikiPageExternalLink epicarm.html.
- Abstract_rewriting_machine wikiPageID "6451048".
- Abstract_rewriting_machine wikiPageRevisionID "501862000".
- Abstract_rewriting_machine hasPhotoCollection Abstract_rewriting_machine.
- Abstract_rewriting_machine subject Category:Term-rewriting_programming_languages.
- Abstract_rewriting_machine subject Category:Virtual_machines.
- Abstract_rewriting_machine type Artifact100021939.
- Abstract_rewriting_machine type Device103183080.
- Abstract_rewriting_machine type Instrumentality103575240.
- Abstract_rewriting_machine type Machine103699975.
- Abstract_rewriting_machine type Object100002684.
- Abstract_rewriting_machine type PhysicalEntity100001930.
- Abstract_rewriting_machine type VirtualMachines.
- Abstract_rewriting_machine type Whole100003553.
- Abstract_rewriting_machine comment "The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems. Minimal term rewriting systems are left-linear term rewriting systems in which each rule takes on one of six forms:ContinuationReturnMatchAddDeleteIdentEach of these six forms is mapped (in ARM) to one or a few processor instructions on most contemporary micro processors.".
- Abstract_rewriting_machine label "Abstract rewriting machine".
- Abstract_rewriting_machine sameAs m.0g5w1c.
- Abstract_rewriting_machine sameAs Q4669955.
- Abstract_rewriting_machine sameAs Q4669955.
- Abstract_rewriting_machine sameAs Abstract_rewriting_machine.
- Abstract_rewriting_machine wasDerivedFrom Abstract_rewriting_machine?oldid=501862000.
- Abstract_rewriting_machine isPrimaryTopicOf Abstract_rewriting_machine.