Questions marquées «pl.programming-languages»

25
Existe-t-il des systèmes de vérification formels annotés pour les langages de programmation fonctionnels purs?

ACSL (Ansi C Specification Language), est une spécification pour le code C, annotée de commentaires spéciaux, qui permet de vérifier formellement le code C. Je ne l'ai pas étudié, mais j'imagine que les méthodes formelles utilisées dans ACSL vérificateurs seraient similaires à Hoare Logic. Pour les...

22
Le coût du GC peut-il être négligé lors de l'analyse du temps d'exécution des structures de données les plus défavorables spécifiées dans un langage de programmation récupéré?

Je viens de réaliser que je supposais que la réponse à ma question était "oui" mais je n'ai pas de bonne raison. J'imagine qu'il y a peut-être un garbage collector qui n'introduit que le ralentissement pire des cas. Y a-t-il une référence définitive que je peux citer? Dans mon cas, je travaille sur...