Câu hỏi được gắn thẻ «program-logic»

Một quy tắc khung , giống như quy tắc được đưa ra dưới đây, nắm bắt ý tưởng rằng, đưa ra một chương trình cvới điều kiện tiên quyết pgiữ trước khi nó chạy và hậu điều kiện qgiữ sau đó, một số điều kiện rời rạc rnên giữ cả …

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

Nếu bạn quen thuộc với xác minh chương trình, bạn có thể thích đọc Câu hỏi trước Nền . Nếu bạn không quen với việc xác minh chương trình thì bạn vẫn có thể trả lời câu hỏi này, nhưng bạn có thể thích đọc Nền trước. Lý lịch Người …

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

Các loại quyền sở hữu và Logic tách biệt dường như có các mục tiêu tương tự, kiểm soát quyền sở hữu và bí danh. Có lẽ, tôi cũng nên thêm: khả năng viết các đặc tả mô-đun. Những gì được biết về mối quan hệ giữa các loại sở …

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

Tôi đang tìm bài báo gốc nơi Hoare (hoặc người khác mà tôi cho là) ​​thảo luận về việc chấm dứt (Total Correctness). Hoặc bất kỳ công việc ban đầu nào khác về việc chấm dứt logic "vanilla" Hoare (tôi cho rằng ý tôi là một ngôn ngữ đồ chơi …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic