Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/A-normal_form> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- A-normal_form abstract "In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry and Felleisen in 1992 as a simpler alternative to continuation-passing style (CPS). Some of the advantages of using CPS as an intermediate representation are that optimizations are easier to perform on programs in CPS than in the source language, and that it is also easier for compilers to generate machine code for programs in CPS. Flanagan et al. showed how compilers could use ANF to achieve those same benefits with one source-level transformation; in contrast, for realistic compilers the CPS transformation typically involves additional phases, for example, to simplify CPS terms.In ANF, all arguments to a function must be trivial. That is, evaluation of each argument must halt immediately.This article deals with the basic definition expressed in terms of the λ-calculus with weak reduction and let-expressions, where the restriction is enforced by allowing only constants, λ-terms, and variables, to serve as arguments of function applications, and requiring that the result of a non-trivial expression be captured by a let-bound variable or returned from a function.↑ ↑".
- A-normal_form wikiPageID "6853706".
- A-normal_form wikiPageLength "3059".
- A-normal_form wikiPageOutDegree "16".
- A-normal_form wikiPageRevisionID "695642503".
- A-normal_form wikiPageWikiLink Assignment_(computer_science).
- A-normal_form wikiPageWikiLink Backus–Naur_Form.
- A-normal_form wikiPageWikiLink Category:Functional_programming.
- A-normal_form wikiPageWikiLink Category:Implementation_of_functional_programming_languages.
- A-normal_form wikiPageWikiLink Computer_program.
- A-normal_form wikiPageWikiLink Computer_science.
- A-normal_form wikiPageWikiLink Continuation-passing_style.
- A-normal_form wikiPageWikiLink Functional_compiler.
- A-normal_form wikiPageWikiLink Intermediate_representation.
- A-normal_form wikiPageWikiLink Lambda_calculus.
- A-normal_form wikiPageWikiLink Machine_code.
- A-normal_form wikiPageWikiLink Parameter_(computer_programming).
- A-normal_form wikiPageWikiLink Scope_(computer_science).
- A-normal_form wikiPageWikiLink Subroutine.
- A-normal_form wikiPageWikiLinkText "A-normal form".
- A-normal_form wikiPageUsesTemplate Template:Primary_sources.
- A-normal_form wikiPageUsesTemplate Template:Prog-lang-stub.
- A-normal_form wikiPageUsesTemplate Template:Reflist.
- A-normal_form subject Category:Functional_programming.
- A-normal_form subject Category:Implementation_of_functional_programming_languages.
- A-normal_form hypernym Representation.
- A-normal_form type Language.
- A-normal_form type ProgrammingLanguage.
- A-normal_form type Redirect.
- A-normal_form type Language.
- A-normal_form type Thing.
- A-normal_form type Q315.
- A-normal_form type Q34770.
- A-normal_form type Q9143.
- A-normal_form comment "In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry and Felleisen in 1992 as a simpler alternative to continuation-passing style (CPS). Some of the advantages of using CPS as an intermediate representation are that optimizations are easier to perform on programs in CPS than in the source language, and that it is also easier for compilers to generate machine code for programs in CPS. Flanagan et al.".
- A-normal_form label "A-normal form".
- A-normal_form sameAs Q4646997.
- A-normal_form sameAs m.0gsp4b.
- A-normal_form sameAs Q4646997.
- A-normal_form wasDerivedFrom A-normal_form?oldid=695642503.
- A-normal_form isPrimaryTopicOf A-normal_form.