Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Corecursion> ?p ?o }
- Corecursion abstract "In computer science, corecursion is a type of operation that is dual to recursion. Whereas recursion works analytically, starting on data further from a base case and breaking it down into smaller data and repeating until one reaches a base case, corecursion works synthetically, starting from a base case and building it up, iteratively producing data further removed from a base case. Put simply, corecursive algorithms use the data that they themselves produce, bit by bit, as they become available, and needed, to produce further bits of data. A similar but distinct concept is generative recursion which may lack a definite "direction" inherent in corecursion and recursion. Where recursion allows programs to operate on arbitrarily complex data, so long as they can be reduced to simple data (base cases), corecursion allows programs to produce arbitrarily complex and potentially infinite data structures, such as streams, so long as it can be produced from simple data (base cases). Where recursion may not terminate, never reaching a base state, corecursion starts from a base state, and thus produces subsequent steps deterministically, though it may proceed indefinitely (and thus not terminate under strict evaluation), or it may consume more than it produces and thus become non-productive. Many functions that are traditionally analyzed as recursive can alternatively, and arguably more naturally, be interpreted as corecursive functions that are terminated at a given stage, for example recurrence relations such as the factorial.Corecursion can produce both finite and infinite data structures as result, and may employ self-referential data structures. Corecursion is often used in conjunction with lazy evaluation, to only produce a finite subset of a potentially infinite structure (rather than trying to produce an entire infinite structure at once). Corecursion is a particularly important concept in functional programming, where corecursion and codata allow total languages to work with infinite data structures.".
- Corecursion wikiPageExternalLink summary?doi=10.1.1.32.5446.
- Corecursion wikiPageExternalLink 576961.
- Corecursion wikiPageExternalLink HR.
- Corecursion wikiPageExternalLink issue-14.
- Corecursion wikiPageExternalLink corecursion.
- Corecursion wikiPageExternalLink metadata.epl?mode=synopsis&bookkey=3630257.
- Corecursion wikiPageExternalLink summary?doi=10.1.1.40.4243.
- Corecursion wikiPageExternalLink 1989SPE.
- Corecursion wikiPageExternalLink total_functional_programming.
- Corecursion wikiPageID "1338683".
- Corecursion wikiPageLength "26728".
- Corecursion wikiPageOutDegree "74".
- Corecursion wikiPageRevisionID "679075268".
- Corecursion wikiPageWikiLink Anamorphism.
- Corecursion wikiPageWikiLink Apomorphism.
- Corecursion wikiPageWikiLink Assignment_(computer_science).
- Corecursion wikiPageWikiLink Bisimulation.
- Corecursion wikiPageWikiLink Branching_factor.
- Corecursion wikiPageWikiLink Breadth-first.
- Corecursion wikiPageWikiLink Breadth-first_search.
- Corecursion wikiPageWikiLink Call_stack.
- Corecursion wikiPageWikiLink Catamorphism.
- Corecursion wikiPageWikiLink Category:Articles_with_example_Haskell_code.
- Corecursion wikiPageWikiLink Category:Articles_with_example_Python_code.
- Corecursion wikiPageWikiLink Category:Category_theory.
- Corecursion wikiPageWikiLink Category:Functional_programming.
- Corecursion wikiPageWikiLink Category:Recursion.
- Corecursion wikiPageWikiLink Category:Self-reference.
- Corecursion wikiPageWikiLink Category:Theoretical_computer_science.
- Corecursion wikiPageWikiLink Category_of_sets.
- Corecursion wikiPageWikiLink Codata.
- Corecursion wikiPageWikiLink Coinduction.
- Corecursion wikiPageWikiLink Complete_partial_order.
- Corecursion wikiPageWikiLink Computer_science.
- Corecursion wikiPageWikiLink Coq.
- Corecursion wikiPageWikiLink Data_structure.
- Corecursion wikiPageWikiLink Denotational_semantics.
- Corecursion wikiPageWikiLink Depth-first.
- Corecursion wikiPageWikiLink Depth-first_search.
- Corecursion wikiPageWikiLink Dual_(category_theory).
- Corecursion wikiPageWikiLink F-algebra.
- Corecursion wikiPageWikiLink F-coalgebra.
- Corecursion wikiPageWikiLink Fibonacci_number.
- Corecursion wikiPageWikiLink Fibonacci_numbers.
- Corecursion wikiPageWikiLink Fibonacci_sequence.
- Corecursion wikiPageWikiLink Finite_set.
- Corecursion wikiPageWikiLink Fold_(higher-order_function).
- Corecursion wikiPageWikiLink Functional_programming.
- Corecursion wikiPageWikiLink Generative_recursion.
- Corecursion wikiPageWikiLink Generator_(computer_programming).
- Corecursion wikiPageWikiLink Gordon_Plotkin.
- Corecursion wikiPageWikiLink Greatest_fixpoint.
- Corecursion wikiPageWikiLink Haskell_(programming_language).
- Corecursion wikiPageWikiLink Infinite_set.
- Corecursion wikiPageWikiLink Initial_algebra.
- Corecursion wikiPageWikiLink Initial_and_terminal_objects.
- Corecursion wikiPageWikiLink Isomorphism.
- Corecursion wikiPageWikiLink Iteration.
- Corecursion wikiPageWikiLink Jeremy_Gibbons.
- Corecursion wikiPageWikiLink John_Hughes_(computer_scientist).
- Corecursion wikiPageWikiLink Lazy_evaluation.
- Corecursion wikiPageWikiLink Least_fixed_point.
- Corecursion wikiPageWikiLink Least_fixpoint.
- Corecursion wikiPageWikiLink Non-well-founded_set_theory.
- Corecursion wikiPageWikiLink Parallel_assignment.
- Corecursion wikiPageWikiLink Paramorphism.
- Corecursion wikiPageWikiLink Pattern-matching.
- Corecursion wikiPageWikiLink Pattern_matching.
- Corecursion wikiPageWikiLink Philip_Wadler.
- Corecursion wikiPageWikiLink Primitive_recursion.
- Corecursion wikiPageWikiLink Primitive_recursive_function.
- Corecursion wikiPageWikiLink Queue_(abstract_data_type).
- Corecursion wikiPageWikiLink Recurrence_relation.
- Corecursion wikiPageWikiLink Recursion.
- Corecursion wikiPageWikiLink Recursion_(computer_science).
- Corecursion wikiPageWikiLink SIAM_Journal_on_Computing.
- Corecursion wikiPageWikiLink Scott_continuity.
- Corecursion wikiPageWikiLink Self-reference.
- Corecursion wikiPageWikiLink Stack_(abstract_data_type).
- Corecursion wikiPageWikiLink Stream_(computing).
- Corecursion wikiPageWikiLink Total_functional_programming.
- Corecursion wikiPageWikiLink Total_language.
- Corecursion wikiPageWikiLink Tree_traversal.
- Corecursion wikiPageWikiLink Unfold_(higher-order_function).
- Corecursion wikiPageWikiLink Up_to.
- Corecursion wikiPageWikiLink Up_to_isomorphism.
- Corecursion wikiPageWikiLinkText "Corecursion".
- Corecursion wikiPageWikiLinkText "corecursion and codata".
- Corecursion wikiPageWikiLinkText "corecursion".
- Corecursion wikiPageWikiLinkText "corecursion: examples".
- Corecursion wikiPageWikiLinkText "corecursive".
- Corecursion wikiPageWikiLinkText "corecursively".
- Corecursion hasPhotoCollection Corecursion.
- Corecursion wikiPageUsesTemplate Template:Anchor.
- Corecursion wikiPageUsesTemplate Template:Citation.
- Corecursion wikiPageUsesTemplate Template:Cite_book.
- Corecursion wikiPageUsesTemplate Template:Cite_journal.
- Corecursion wikiPageUsesTemplate Template:Cite_techreport.
- Corecursion wikiPageUsesTemplate Template:Cite_web.