operational-semantics पर टैग किए गए जवाब

1
क्या हम प्रोग्रामिंग लैंग्वेज में सिंटैक्टिक और सिमेंटिक मेथड्स को अलग पहचान सकते हैं?
मजबूत सामान्यीकरण साक्ष्यों पर चर्चा करते समय, यह टिप्पणी "सामान्य रूप मॉडल" के साथ "विशुद्ध रूप से वाक्य रचना विधियों" के विपरीत है। यह मुझे एक और बुनियादी प्रश्न पर वापस लाता है: क्या हम अभी भी वाक्यविन्यास-आधारित मॉडल के सामने, वाक्य रचना और अर्थ निर्माण को सख्ती से अलग …

1
क्या योजना के कॉल / cc सभी ज्ञात नियंत्रण प्रवाह संरचनाओं को लागू कर सकते हैं?
पृष्ठ "उन्नत योजना: कुछ शरारती बिट्स" बताता है: निरंतरता एक शक्तिशाली नियंत्रण-प्रवाह निर्माण है जिसमें से लगभग किसी भी अन्य नियंत्रण-प्रवाह संरचना [...] को प्राप्त किया जा सकता है। मुझे लगा कि call/ccपीटर लैंडिन के जे ऑपरेटर से संबंधित (*) स्कीम का इस्तेमाल किसी भी ज्ञात नियंत्रण प्रवाह संरचना को …

3
किन भाषाओं के लिए पहले से ही अवलोकन संबंधी सिद्धांत का सिद्धांत है?
एक शुद्धता प्रमाण के लिए, मैं के शुद्ध प्रकार सिस्टम (पीटीएस) के लिए कार्यक्रम तुल्यता की एक उपयोगी धारणा की तलाश कर रहा हूं ; पर्याप्त विशिष्ट प्रकार की प्रणालियों के लिए गायब है। मेरा लक्ष्य केवल धारणा का उपयोग करना है, न कि इसकी स्वयं की जांच करना।≅≅\cong यह …

1
अर्थ और निरूपण के बीच अंतर क्या है?
भाषा अर्थ विज्ञान प्रोग्रामिंग में, यह अक्सर सुना जाता है कि लोगों के बारे में बात अर्थ और वाच्यार्थ । वे एक जैसे नहीं लगते। अंतर क्या है? क्या पूर्व परिचालन शब्दार्थों के साथ जुड़ा हुआ है, जबकि बाद वाला शब्द अर्थविज्ञान के साथ है? धन्यवाद।
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.