invariant (informatica)


De Nederlandstalige Wikipedia - De vrije encyclopedieDownload this dictionary
Invariant (informatica)
In de informatica is een invariant een predicaat dat dezelfde waarheidswaarde behoudt tijdens het uitvoeren van een stuk code.

Zie meer op Wikipedia.org...


© Dit artikel maakt gebruik van materiaal uit Wikipedia® en valt onder de GNU-licentie voor vrije documentatie en onder de licentie Creative Commons Naamsvermelding/Gelijk delen