Re: Comment faire un langage plus rapide que C ?

[^] # Re: Comment faire un langage plus rapide que C ?

Posté par TImaniac (site web personnel) le 15 mars 2006 à 15:32. En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.

ok mais c'est quoi que vous voulez prouver au final : le langage (et son compilo) ok, mais les programmes écrits en Lisaac ? Il y aura une transformation en B ? Comment va-t-on rédiger les contrats "ala" B ?

[^] # Re: Comment faire un langage plus rapide que C ?