DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Continuation-passing_style> ?p ?o }

• Continuation-passing_style abstract "In functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation. This is contrasted with direct style, which is the usual style of programming. Gerald Jay Sussman and Guy L. Steele, Jr. coined the phrase in AI Memo 349 (1975), which sets out the first version of the Scheme programming language.John C. Reynolds gives a detailed account of the numerous discoveries of continuations.A function written in continuation-passing style takes an extra argument: an explicit "continuation" i.e. a function of one argument. When the CPS function has computed its result value, it "returns" it by calling the continuation function with this value as the argument. That means that when invoking a CPS function, the calling function is required to supply a procedure to be invoked with the subroutine's "return" value. Expressing code in this form makes a number of things explicit which are implicit in direct style. These include: procedure returns, which become apparent as calls to a continuation; intermediate values, which are all given names; order of argument evaluation, which is made explicit; and tail calls, which simply call a procedure with the same continuation, unmodified, that was passed to the caller.Programs can be automatically transformed from direct style to CPS. Functional and logic compilers often use CPS as an intermediate representation where a compiler for an imperative or procedural programming language would use static single assignment form (SSA). SSA is formally equivalent to a subset of CPS (excluding non-local control flow, which does not occur when CPS is used as intermediate representation). Functional compilers can also use A-normal form (ANF) (but only for languages requiring eager evaluation), rather than with 'thunks' (described in the examples below) in CPS. CPS is used more frequently by compilers than by programmers as a local or global style.".
• Continuation-passing_style wikiPageExternalLink books?id=0Uoecu9ju4AC&dq.
• Continuation-passing_style wikiPageExternalLink 6.
• Continuation-passing_style wikiPageExternalLink tspl3.
• Continuation-passing_style wikiPageExternalLink further:h4.
• Continuation-passing_style wikiPageExternalLink ssafun.ps.
• Continuation-passing_style wikiPageExternalLink software.
• Continuation-passing_style wikiPageExternalLink barker.continuations.pdf.
• Continuation-passing_style wikiPageExternalLink cpc.
• Continuation-passing_style wikiPageID "749852".
• Continuation-passing_style wikiPageLength "18737".
• Continuation-passing_style wikiPageOutDegree "62".
• Continuation-passing_style wikiPageRevisionID "676038198".
• Continuation-passing_style wikiPageWikiLink A-normal_form.
• Continuation-passing_style wikiPageWikiLink AI_Memo.
• Continuation-passing_style wikiPageWikiLink Anonymous_function.
• Continuation-passing_style wikiPageWikiLink CHICKEN_(Scheme_implementation).
• Continuation-passing_style wikiPageWikiLink C_(programming_language).
• Continuation-passing_style wikiPageWikiLink Call-with-current-continuation.
• Continuation-passing_style wikiPageWikiLink Call_stack.
• Continuation-passing_style wikiPageWikiLink Category:Articles_with_example_Java_code.
• Continuation-passing_style wikiPageWikiLink Category:Articles_with_example_Scheme_code.
• Continuation-passing_style wikiPageWikiLink Category:Continuations.
• Continuation-passing_style wikiPageWikiLink Category:Functional_programming.
• Continuation-passing_style wikiPageWikiLink Category:Implementation_of_functional_programming_languages.
• Continuation-passing_style wikiPageWikiLink Chicken_(Scheme_implementation).
• Continuation-passing_style wikiPageWikiLink Chicken_Scheme_compiler.
• Continuation-passing_style wikiPageWikiLink Classical_logic.
• Continuation-passing_style wikiPageWikiLink Compiler.
• Continuation-passing_style wikiPageWikiLink Computer_science.
• Continuation-passing_style wikiPageWikiLink Continuation.
• Continuation-passing_style wikiPageWikiLink Continuations.
• Continuation-passing_style wikiPageWikiLink Control_flow.
• Continuation-passing_style wikiPageWikiLink Curry–Howard_correspondence.
• Continuation-passing_style wikiPageWikiLink Curry–Howard_isomorphism.
• Continuation-passing_style wikiPageWikiLink Direct_style.
• Continuation-passing_style wikiPageWikiLink Double-negation_translation.
• Continuation-passing_style wikiPageWikiLink Embedding.
• Continuation-passing_style wikiPageWikiLink First-class_function.
• Continuation-passing_style wikiPageWikiLink Functional_programming.
• Continuation-passing_style wikiPageWikiLink Functional_programming_language.
• Continuation-passing_style wikiPageWikiLink Garbage_collection_(computer_science).
• Continuation-passing_style wikiPageWikiLink Gerald_Jay_Sussman.
• Continuation-passing_style wikiPageWikiLink Guy_L._Steele,_Jr..
• Continuation-passing_style wikiPageWikiLink Identity_function.
• Continuation-passing_style wikiPageWikiLink Imperative_programming.
• Continuation-passing_style wikiPageWikiLink Intermediate_language.
• Continuation-passing_style wikiPageWikiLink Intermediate_representation.
• Continuation-passing_style wikiPageWikiLink Intuitionistic_logic.
• Continuation-passing_style wikiPageWikiLink Java_(programming_language).
• Continuation-passing_style wikiPageWikiLink John_C._Reynolds.
• Continuation-passing_style wikiPageWikiLink Lambda_(programming).
• Continuation-passing_style wikiPageWikiLink Lambda_calculus.
• Continuation-passing_style wikiPageWikiLink Logic_programming.
• Continuation-passing_style wikiPageWikiLink ML_(programming_language).
• Continuation-passing_style wikiPageWikiLink ML_programming_language.
• Continuation-passing_style wikiPageWikiLink Mathematics.
• Continuation-passing_style wikiPageWikiLink Natural_language.
• Continuation-passing_style wikiPageWikiLink Procedural_programming.
• Continuation-passing_style wikiPageWikiLink Programming_language.
• Continuation-passing_style wikiPageWikiLink Scheme_(programming_language).
• Continuation-passing_style wikiPageWikiLink Semantics.
• Continuation-passing_style wikiPageWikiLink Static_single_assignment_form.
• Continuation-passing_style wikiPageWikiLink Swing_(Java).
• Continuation-passing_style wikiPageWikiLink Tail-call_optimization.
• Continuation-passing_style wikiPageWikiLink Tail_call.
• Continuation-passing_style wikiPageWikiLink Tail_call_optimization.
• Continuation-passing_style wikiPageWikiLink Tail_recursion.
• Continuation-passing_style wikiPageWikiLink Thunk.
• Continuation-passing_style wikiPageWikiLink Thunk_(delayed_computation).
• Continuation-passing_style wikiPageWikiLink Thunk_(functional_programming).
• Continuation-passing_style wikiPageWikiLink Trampoline_(computers).
• Continuation-passing_style wikiPageWikiLink Trampoline_(computing).
• Continuation-passing_style wikiPageWikiLink Yoneda_embedding.
• Continuation-passing_style wikiPageWikiLink Yoneda_lemma.
• Continuation-passing_style wikiPageWikiLink Π-calculus.
• Continuation-passing_style wikiPageWikiLinkText "Continuation-passing style".
• Continuation-passing_style wikiPageWikiLinkText "continuation-passing style".
• Continuation-passing_style wikiPageWikiLinkText "continuation-passing-style translation".
• Continuation-passing_style wikiPageWikiLinkText "continuation-passing-style".
• Continuation-passing_style hasPhotoCollection Continuation-passing_style.
• Continuation-passing_style wikiPageUsesTemplate Template:Citation_needed.
• Continuation-passing_style wikiPageUsesTemplate Template:Cite_book.
• Continuation-passing_style wikiPageUsesTemplate Template:Cite_journal.
• Continuation-passing_style wikiPageUsesTemplate Template:Cite_web.
• Continuation-passing_style wikiPageUsesTemplate Template:Reflist.
• Continuation-passing_style wikiPageUsesTemplate Template:See_also.
• Continuation-passing_style subject Category:Articles_with_example_Java_code.
• Continuation-passing_style subject Category:Articles_with_example_Scheme_code.
• Continuation-passing_style subject Category:Continuations.
• Continuation-passing_style subject Category:Functional_programming.
• Continuation-passing_style subject Category:Implementation_of_functional_programming_languages.
• Continuation-passing_style hypernym Style.
• Continuation-passing_style type Article.
• Continuation-passing_style type Article.
• Continuation-passing_style type Subroutine.
• Continuation-passing_style type Thing.
• Continuation-passing_style comment "In functional programming, continuation-passing style (CPS) is a style of programming in which control is passed explicitly in the form of a continuation. This is contrasted with direct style, which is the usual style of programming. Gerald Jay Sussman and Guy L. Steele, Jr. coined the phrase in AI Memo 349 (1975), which sets out the first version of the Scheme programming language.John C.".
• Continuation-passing_style label "Continuation-passing style".
• Continuation-passing_style seeAlso Callback_(computer_programming).

• next