Resultats de la cerca
Es mostren 2 resultats
asserció
Electrònica i informàtica
Proposició que assegura que en un determinat punt d’un programa es compleix certa condició.
Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva validesa per tant,…
C
Electrònica i informàtica
Llenguatge de programació creat el 1972 i apropiat especialment per al desenvolupament de grans sistemes.
Presenta una certa analogia amb el PASCAL, però sembla superior en determinats aspectes i per això és preferit en bastants casos Ha estat desenvolupat, com un descendent dels llenguatges B i BCPL, juntament amb el sistema operatiu UNIX Les seves característiques de baix nivell el fan idoni per a tota aplicació que requereixi una interacció a baix nivell amb el sistema informàtic Els seus orígens com a llenguatge per a desenvolupar el sistema UNIX són la causa que el programador sigui considerat com un expert i que no hi hagi cap mena de restricció en l’ús del llenguatge o en l’accés als…