Coinduction
id:
coinduction-284-9650721
title:
Coinduction
text:
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 data 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
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Coinduction
date created:
date modified:
2024-04-22T07:11:21Z
main entity:
{"identifier":"Q4227156","url":"https://www.wikidata.org/entity/Q4227156"}
image:
fields total:
13
integrity:
13