Suchergebnisse
Es existieren auf dieser Website keine der Suchanfrage entsprechenden Ergebnisse.
Der Artikel „Corecursion“ existiert in der deutschsprachigen Wikipedia nicht. Du kannst den Artikel erstellen (Quelltext-Editor, Anleitung).
Wenn dir die folgenden Suchergebnisse nicht weiterhelfen, wende dich bitte an die Auskunft oder suche nach „Corecursion“ in anderssprachigen Wikipedias.
Suchergebnisse von der englischsprachigen Wikipedia.
- In computer science, corecursion is a type of operation that is dual to recursion. Whereas recursion works analytically, starting on data further from…31 KB (4.263 Wörter) - 03:41, 8. Jan. 2026
- naturally framed as corecursion, building up from the initial values, while tracking two successive values at each step – see corecursion: examples. A more…69 KB (8.244 Wörter) - 02:14, 9. Dez. 2025
- primitive corecursion over a coinductive data type. The term "apomorphism" was introduced in Functional Programming with Apomorphisms (Corecursion). Morphism…1 KB (123 Wörter) - 03:35, 25. Jan. 2026
- -ception to a noun to jokingly indicate the recursion of something. Corecursion – Type of algorithm in computer science Course-of-values recursion –…29 KB (3.445 Wörter) - 18:26, 5. Jan. 2026
- data structure, traversal can be defined by recursion or, more subtly, corecursion, in a natural and clear fashion; in these cases the deferred nodes are…26 KB (2.891 Wörter) - 14:41, 9. Dez. 2025
- they must be defined as codata and can be iterated over using (guarded) corecursion. Java provides the Stream interface under the java.util.stream namespace…4 KB (313 Wörter) - 11:21, 1. Feb. 2025
- for an alternative Lazy evaluation for producing values when needed Corecursion for potentially infinite data by recursion instead of yield Coroutine…28 KB (3.273 Wörter) - 07:52, 16. Jan. 2026
- : 1 : zipWith (+) fibs (tail fibs) The infinite list is produced by corecursion — the latter values of the list are computed on demand starting from…30 KB (3.537 Wörter) - 05:20, 27. Aug. 2025
- science) Primitive recursive function Inline expansion Leaf subroutine Corecursion Like this: if (ls) { head = (LinkedList*)malloc(sizeof(*head)); head->value…42 KB (4.367 Wörter) - 17:54, 25. Jan. 2026
- applications such as I/O. Using codata entails the usage of such operations as corecursion. However, it is possible to do I/O in a total functional programming…6 KB (719 Wörter) - 03:14, 1. Jan. 2026
- still retaining high computational complexity), using more controlled corecursion wherever non-terminating behavior is actually desired. In its more general…59 KB (6.608 Wörter) - 01:18, 31. Jan. 2026
- P\}\subseteq P} This is precisely mathematical induction as stated. F-coalgebra Corecursion Bisimulation Anamorphism Total functional programming "Co-Logic Programming…14 KB (1.965 Wörter) - 19:04, 15. Jan. 2026
- F-coalgebras. The finality provides a general framework for coinduction and corecursion. For example, using the same functor 1 + (−) as before, a coalgebra is…9 KB (1.139 Wörter) - 16:11, 29. Jan. 2026