referentiële transparantie
Sign in to saveproperty of a computer software expression or subroutine that replacing it in the code with its evaluated result does not change the program's behavior
Wikidata facts
- Instance of
- quality
Show 2 more facts
- facet of
- substitution
- characteristic of
- source code
Sources (1)
via Wikidata · CC0
Article · Nederlands
Referentiële transparantie is een eigenschap van delen van broncode van computerprogramma's. Een expressie is referentieel transparant als deze vervangen kan worden door de waarde van die expressie zonder dat de werking van het programma verandert. Om dit te bewerkstelligen mag een referentieel transparante expressie alleen bestaan uit constanten en functies die geen neveneffecten hebben en moet ze voor dezelfde invoer telkens dezelfde uitvoer geven. Referentiële transparantie is een van de principes van functionele programmeertalen. De eigenschap van referentiële transparantie wordt met name gebruikt om te redeneren over de correctheid van een computerprogramma. Doordat een referentieel transparante expressie vervangen kan worden door haar waarde, kan de code vereenvoudigd worden om zo de correcte werking van het programma in te zien en te bewijzen. De referentiële transparantie van expressies kan ook gebruikt worden om de code te optimaliseren en te vervangen door kortere en efficiëntere expressies.
Abstract from DBpedia / Wikipedia · CC BY-SA