Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Coinduction> ?p ?o }
Showing triples 1 to 70 of
70
with 100 triples per page.
- Coinduction abstract "In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.Coinduction is the mathematical dual to structural induction. Coinductively defined types are known as codata and are typically infinite data structures, such as streams.As a definition or specification, coinduction describes how an object may be \"observed\", \"broken down\" or \"destructed\" into simpler objects. As a proof technique, it may be used to show that an equation is satisfied by all possible implementations of such a specification.To generate and manipulate codata, one typically uses corecursive functions, in conjunction with lazy evaluation. Informally, rather than defining a function by pattern-matching on each of the inductive constructors, one defines each of the \"destructors\" or \"observers\" over the function result.In programming, the co-logic paradigm (Co-LP for brevity) \"is a natural generalization of logic programming and coinductive logic programming, which in turn generalizes other extensions of logic programming, such as infinite trees, lazy predicates, and concurrent communicating predicates. Co-LP has applications to rational trees, verifying infinitary properties, lazy evaluation, concurrent LP, model checking, bisimilarity proofs, etc.\" Experimental implementations of Co-LP are available from U.T.Dallas and in Logtalk (for examples see ) and SWI-Prolog.".
- Coinduction wikiPageExternalLink jacobs97tutorial.html.
- Coinduction wikiPageExternalLink JR.pdf.
- Coinduction wikiPageExternalLink coind.htm.
- Coinduction wikiPageExternalLink history_bis_coind.pdf.
- Coinduction wikiPageExternalLink RecTutorial.pdf.
- Coinduction wikiPageExternalLink ppdp06.pdf.
- Coinduction wikiPageID "10904266".
- Coinduction wikiPageLength "3726".
- Coinduction wikiPageOutDegree "32".
- Coinduction wikiPageRevisionID "692426488".
- Coinduction wikiPageWikiLink Anamorphism.
- Coinduction wikiPageWikiLink Andrew_D._Gordon.
- Coinduction wikiPageWikiLink Bart_Jacobs.
- Coinduction wikiPageWikiLink Bisimulation.
- Coinduction wikiPageWikiLink Category:Category_theory.
- Coinduction wikiPageWikiLink Category:Functional_programming.
- Coinduction wikiPageWikiLink Category:Logic_programming.
- Coinduction wikiPageWikiLink Category:Mathematical_induction.
- Coinduction wikiPageWikiLink Category:Theoretical_computer_science.
- Coinduction wikiPageWikiLink Computer_science.
- Coinduction wikiPageWikiLink Corecursion.
- Coinduction wikiPageWikiLink Data_structure.
- Coinduction wikiPageWikiLink Davide_Sangiorgi.
- Coinduction wikiPageWikiLink Dual_(category_theory).
- Coinduction wikiPageWikiLink F-coalgebra.
- Coinduction wikiPageWikiLink Formal_specification.
- Coinduction wikiPageWikiLink Implementation.
- Coinduction wikiPageWikiLink Infinity.
- Coinduction wikiPageWikiLink Jan_Rutten.
- Coinduction wikiPageWikiLink Lazy_evaluation.
- Coinduction wikiPageWikiLink Logtalk.
- Coinduction wikiPageWikiLink Mathematical_proof.
- Coinduction wikiPageWikiLink Mathematics.
- Coinduction wikiPageWikiLink Object_(computer_science).
- Coinduction wikiPageWikiLink SWI-Prolog.
- Coinduction wikiPageWikiLink Stream_(computing).
- Coinduction wikiPageWikiLink Structural_induction.
- Coinduction wikiPageWikiLink Total_functional_programming.
- Coinduction wikiPageWikiLinkText "Coinduction".
- Coinduction wikiPageWikiLinkText "coinduction".
- Coinduction wikiPageWikiLinkText "coinductive predicates".
- Coinduction wikiPageWikiLinkText "coinductive".
- Coinduction wikiPageUsesTemplate Template:Cite_paper.
- Coinduction wikiPageUsesTemplate Template:Citeseerx.
- Coinduction wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- Coinduction wikiPageUsesTemplate Template:Expert-subject.
- Coinduction wikiPageUsesTemplate Template:Multiple_issues.
- Coinduction wikiPageUsesTemplate Template:Redirect.
- Coinduction wikiPageUsesTemplate Template:Reflist.
- Coinduction wikiPageUsesTemplate Template:Technical.
- Coinduction subject Category:Category_theory.
- Coinduction subject Category:Functional_programming.
- Coinduction subject Category:Logic_programming.
- Coinduction subject Category:Mathematical_induction.
- Coinduction subject Category:Theoretical_computer_science.
- Coinduction hypernym Technique.
- Coinduction type Area.
- Coinduction type TopicalConcept.
- Coinduction type Area.
- Coinduction type Function.
- Coinduction type Proof.
- Coinduction comment "In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.Coinduction is the mathematical dual to structural induction. Coinductively defined types are known as codata and are typically infinite data structures, such as streams.As a definition or specification, coinduction describes how an object may be \"observed\", \"broken down\" or \"destructed\" into simpler objects.".
- Coinduction label "Coinduction".
- Coinduction sameAs Q4227156.
- Coinduction sameAs m.02qtlpc.
- Coinduction sameAs Коиндукция.
- Coinduction sameAs Q4227156.
- Coinduction wasDerivedFrom Coinduction?oldid=692426488.
- Coinduction isPrimaryTopicOf Coinduction.