Articoli con il tag «Linguaggio di Programmazione»
3 articoli con il tag «Linguaggio di Programmazione», dal più recente al più vecchio.
-
Programmazione generic in Ada ── Contratti nei tipi e riuso a costo zero
Una guida sistematica alla programmazione generic in Ada: sottoprogrammi e package generici, parametri formali, categorie di tipo e criteri di progettazione....
-
Concorrenza sicura in Ada ── Guida pratica a task e oggetti protetti
Introduzione alla concorrenza integrata nel linguaggio Ada: task e oggetti protetti. L'articolo organizza rendezvous (entry/accept), accept selettivo, mutua ...
-
Introduzione alla verifica formale con SPARK ── Dai contratti Ada alla dimostrazione matematica
Un'introduzione pratica alla verifica formale con SPARK, il sottoinsieme di Ada. L'articolo copre il passaggio dai contratti (Pre/Post) alla dimostrazione, l...