Autant pour moi, c'est la même chose pour B : on écrit la spec dans un langage ensembliste "abstrait", puis on raffine vers du code de plus en plus "concret" (comprendre proche d'un langage classique) compilable en C, ADA, et d'autres, en prouvant à chaque étape du raffinage que la spec ne sera pas violée.
[^] # Re: [X] : C'est exactement ce que j'espérais
Posté par thoasm . En réponse au journal Sondage Java sous GPL, donnez votre avis à Sun. Évalué à 2.