program-logic पर टैग किए गए जवाब

एक फ्रेम नियम , जैसे नीचे दिया गया है, उस विचार को पकड़ता है, cजिसमें पूर्वनिर्धारण के साथ एक प्रोग्राम दिया गया है, pजो चलने से पहले होता है और qबाद में होने वाला पोस्टकंडेशन , कुछ असंतुष्ट स्थिति rको cचलाने से पहले और बाद में दोनों को पकड़ना चाहिए …

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

यदि आप कार्यक्रम सत्यापन से परिचित हैं, तो आप पृष्ठभूमि से पहले प्रश्न को पढ़ना पसंद करेंगे । यदि आप कार्यक्रम सत्यापन से परिचित नहीं हैं तो आप अभी भी इस प्रश्न का उत्तर देने में सक्षम हो सकते हैं, लेकिन आप पहले पृष्ठभूमि को पढ़ना पसंद करेंगे । पृष्ठभूमि …

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

स्वामित्व प्रकार और पृथक्करण तर्क के समान लक्ष्य प्रतीत होते हैं, स्वामित्व और उपनाम पर नियंत्रण होता है। शायद, मुझे भी जोड़ना चाहिए: मॉड्यूलर विनिर्देशों को लिखने की क्षमता। स्वामित्व प्रकार और पृथक्करण तर्क के बीच संबंध के बारे में क्या जाना जाता है?

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