Invariant-based programming
id:
invariant-based-programming-241-8680495
title:
Invariant-based programming
text:
Invariant-based programming is a programming methodology where specifications and invariants are written before the actual program statements. Writing down the invariants during the programming process has a number of advantages: it requires the programmer to make their intentions about the program behavior explicit before actually implementing it, and invariants can be evaluated dynamically during execution to catch common programming errors. Furthermore, if strong enough, invariants can be use
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Invariant-based_programming
date created:
date modified:
2020-08-31T13:45:06Z
main entity:
{"identifier":"Q6059500","url":"https://www.wikidata.org/entity/Q6059500"}
image:
fields total:
13
integrity:
13