Questions marquées «program-logic»

Règle de trame comme serveur de changement?

Une règle de trame , comme celle donnée ci-dessous, capture l'idée que, étant donné un programme cavec une précondition pqui tient avant qu'il s'exécute et une postcondition qqui tient après, une condition disjointe rdevrait tenir à la fois avant et après les cexécutions. (Le *connectif nécessite que ses arguments soient …

18 lo.logic pl.programming-languages program-logic

Est-il difficile de réduire la résiliation à une exactitude partielle?

Si vous êtes familier avec la vérification de programme, vous préférerez probablement lire la question avant le contexte . Si vous n'êtes pas familier avec la vérification de programme, vous pourrez peut-être encore répondre à cette question, mais vous préférerez probablement lire d'abord le Contexte . Contexte Il est souvent …

14 cc.complexity-theory lo.logic program-verification program-logic

Types de propriété et logique de séparation

Les types de propriété et la logique de séparation semblent avoir des objectifs, un contrôle sur la propriété et un alias similaires. Je devrais peut-être aussi ajouter: la possibilité d'écrire des spécifications modulaires. Que sait-on de la relation entre les types de propriété et la logique de séparation?

10 pl.programming-languages type-systems object-oriented program-logic

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.