«program-logic» etiketlenmiş sorular

Aşağıdaki gibi bir çerçeve kuralı , çalıştırmadan önce cönkoşullu pve qsonrasında da geçerli olan sonkoşullu bir program verildiğinde , bazı ayrık koşulların rhem cçalıştırmadan önce hem de sonra tutulması gerektiği fikrini yakalar . ( *Bağ, bağımsız değişkenlerinin ayrık olmasını gerektirir.) Genellikle, ön ve son koşullar bir yığının durumlarıdır ve yığını …

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

Program doğrulamasını biliyorsanız , Arka Plandan önce Soruyu okumayı tercih edebilirsiniz . Program doğrulamasına aşina değilseniz, yine de bu soruya cevap verebilirsiniz, ancak önce Arka Plan'ı okumayı tercih edebilirsiniz . Arka fon Kısmi doğruluk kontrolünün kararsız olduğu sıklıkla ifade edilir. Tartışma uğruna, bu ifadeyi Floyd - Hoare tarzında kesinleştirmenin çok …

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

Sahiplik türleri ve Ayrılma Mantığı benzer hedeflere, sahiplik ve diğer adlandırma üzerinde kontrole sahip gibi görünmektedir. Belki de eklemeliyim: modüler özellikler yazma yeteneği. Sahiplik türleri ile Ayrılma Mantığı arasındaki ilişki hakkında bilinenler nelerdir?

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