invariants

40गर्मी

3उत्तर

क्या कोई मुझे दृढ़ता, contravariance, invariance और contra-invariance (यदि ऐसी चीज मौजूद है) के सरल सी # उदाहरण प्रदान कर सकता है। अब तक जो नमूने मैंने देखा है, वह सिर्फ System.Object में कुछ ऑब्जेक्ट

6गर्मी

2उत्तर

सी कार्यक्रमों के लिए एक स्थिर invariant खोज उपकरण है?

मैं ऐसे टूल की तलाश में हूं जो सी प्रोग्रामों में आविष्कारों को स्थिर रूप से खोज सके। मैंने Daikon की जांच की लेकिन यह केवल गतिशील रूप से इनवेंचर्स को खोजता है। क्या कोई उपकरण उपलब्ध है जो मैं ढूंढ रह

8गर्मी

3उत्तर

होरे लॉजिक लूप इनवेरिएंट

मैं होरे लॉजिक देख रहा हूं और मुझे लूप इनवेरिएंट खोजने की विधि समझने में समस्याएं आ रही हैं। क्या कोई लूप इनवेरिएंट की गणना करने के लिए उपयोग की जाने वाली विधि को समझा सकता है? और लूप इनवेरिएंट को "उप

5गर्मी

3उत्तर

क्या आप प्रोग्राम करते समय इनवेरिएंट का उपयोग करते हैं?

मैं एक इंटरमीडिएट प्रोग्रामिंग कोर्स ले रहा हूं जो इनवेरिएंट के उपयोग पर जोर देता है। मैंने पहले कभी उनका उपयोग नहीं किया है और उन्हें बनाने के लिए और अधिक समय लगता है। क्या सॉफ्टवेयर इंजीनियरिंग उद्य

6गर्मी

2उत्तर

covariant प्रकार टी अपरिवर्तनीय स्थिति

में होता है मैं स्काला में मेरा पहला कदम आगे बढ़ रहा हूँ और मैं निम्नलिखित कोड काम करता है बनाने के लिए करना चाहते हैं: trait Gene[+T] { val gene: Array[T] } त्रुटि संकलक देता है कि जाता है: c

11गर्मी

5उत्तर

लूप इनवेरिएंट को निर्धारित करने का सबसे अच्छा तरीका क्या है?

कुछ कोड बनाने के लिए औपचारिक पहलुओं का उपयोग करते समय एक लूप इनवेरिएंट निर्धारित करने का एक सामान्य तरीका है या यह समस्या के आधार पर पूरी तरह अलग होगा?

6गर्मी

8उत्तर

लूप अपरिवर्तनशीलताओं (विशेष रूप से "त्वरित सी ++" की Ch.3)

मैं वर्तमान में "त्वरित सी ++" के माध्यम से अपने रास्ते काम कर रहा हूँ और बस अध्याय 3 में इस भर में आया था: // invariant: // we have read count grades so far, and // sum is the sum of the first coun

60गर्मी

3उत्तर

जावा में कक्षा का आविष्कार क्या है?

मैंने विषय को गुगल किया, लेकिन Wikipedia के अलावा मुझे कोई और उपयोगी दस्तावेज या लेख नहीं मिला। क्या कोई मुझे सरल शब्दों में बता सकता है या इसका मतलब है कि मुझे कुछ अच्छा और आसान समझने के लिए दस्तावेज

6गर्मी

3उत्तर

जीपीयू विक्रेता

के बीच ओपनजीएल निर्धारिती प्रतिपादन मैं वर्तमान में ओपनजीएल का उपयोग कर एक वैज्ञानिक इमेजिंग एप्लिकेशन प्रोग्रामिंग कर रहा हूं। मैं जानना चाहता हूं कि ओपनजीएल प्रतिपादन (एफबीओ से पुनर्प्राप्त पिक्सेल

7गर्मी

4उत्तर

सी # प्रोग्रामिंग में आविष्कार किए गए दावे को फिट करें?

coders at work पुस्तक में, लेखक पूछता है "आप अपने कोड में इनवेरिएंट का उपयोग कैसे करते हैं"। कृपया बताएं कि इस सवाल का क्या अर्थ है। मैंने क्लास इनवेरिएंट on wiki देखा, लेकिन उदाहरण जावा में है और मैं