C'est évident que rien ne sera prouvé sur le C !
On est d'accord. Mais il y a-t-il un mode "strict" dans le compilo Lisaac pour se mettre dans des conditions où l'ont peut espérer prouver le code ? (sans C quoi) J'ai pas trouvé mais j'ai peut être mal cherché.
et on ne parle pas de sécurité mais de prouver les contrats, cela n'a à peu pret rien voir.
J'ai parlé de sécurité dès le début, avant même de parler de preuve. J'ai pris après 2 contextes de sécurités : la sécurité offerte par les méthodes formelles pour prouver qu'un code fait bien ce qu'il doit faire (méthode B comme exemple cité), et la sécurité au sens protection contre un code malveillant (style une machine virtuelle). Relis le thread, juste après la locomotive.
Le même rapport qu'il y a avec "comme il est sans doute possible de le faire en Lisaac, mais ce dernier ne va pas apporter grand chose comme a pu apporter la locomotive par rapport à la charrette."
Ecoutes, visiblement il a voulu dire qu'il n'y avait pas de raison que Lisaac ne soit pas adopté, la locomotive a bien été adoptée alors que la charette existait déjà. Sous-entendu Lisaac est aussi révolutionnaire que la locomotive. Ben je cherche ce côté révolutionnaire que les autres charettes actuelles n'ont pas. J'ai pris 2 exemples de domaines sur lesquels vous n'avez rien prouvez du tout vis à vis de Lisaac à part dire "c'est prévu" qui fait plus penser à un discours pré-electoral qu'à une réalité...
[^] # Re: C'est trop compliqué !
Posté par TImaniac (site web personnel) . En réponse au journal Des langages de haut niveau. Évalué à 1.
On est d'accord. Mais il y a-t-il un mode "strict" dans le compilo Lisaac pour se mettre dans des conditions où l'ont peut espérer prouver le code ? (sans C quoi) J'ai pas trouvé mais j'ai peut être mal cherché.
et on ne parle pas de sécurité mais de prouver les contrats, cela n'a à peu pret rien voir.
J'ai parlé de sécurité dès le début, avant même de parler de preuve. J'ai pris après 2 contextes de sécurités : la sécurité offerte par les méthodes formelles pour prouver qu'un code fait bien ce qu'il doit faire (méthode B comme exemple cité), et la sécurité au sens protection contre un code malveillant (style une machine virtuelle). Relis le thread, juste après la locomotive.
Le même rapport qu'il y a avec "comme il est sans doute possible de le faire en Lisaac, mais ce dernier ne va pas apporter grand chose comme a pu apporter la locomotive par rapport à la charrette."
Ecoutes, visiblement il a voulu dire qu'il n'y avait pas de raison que Lisaac ne soit pas adopté, la locomotive a bien été adoptée alors que la charette existait déjà. Sous-entendu Lisaac est aussi révolutionnaire que la locomotive. Ben je cherche ce côté révolutionnaire que les autres charettes actuelles n'ont pas. J'ai pris 2 exemples de domaines sur lesquels vous n'avez rien prouvez du tout vis à vis de Lisaac à part dire "c'est prévu" qui fait plus penser à un discours pré-electoral qu'à une réalité...