Besonderhede van voorbeeld: 8498444542855200870

English

One way to prove the correctness of a program is by reasoning with a formal semantics.

French

Une manière de prouver l’exactitude d’un programme est un raisonnement basé sur une sémantique formelle.