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

7
क्या अर्थसूचक शब्दार्थ का गठन करता है?
एक अलग सूत्र पर , प्रेमिका बाउर ने निरूपित शब्दार्थ को परिभाषित किया है: एक कार्यक्रम का अर्थ इसके भागों के अर्थ का एक कार्य है। क्या मुझे इस परिभाषा के बारे में परेशान करती है कि यह एक बाहर जो सामान्यतः के रूप में के बारे में सोचा है …

7
प्रोग्रामिंग भाषा शब्दार्थ पर पुस्तकें
मैं नील्सन और नील्सन के " सेमेंटिक्स विद एप्लीकेशन " पढ़ रहा हूं, और मुझे वास्तव में यह विषय पसंद है। मैं प्रोग्रामिंग भाषा के शब्दार्थ पर एक और पुस्तक रखना चाहता हूं - लेकिन मैं वास्तव में केवल एक ही प्राप्त कर सकता हूं। मैंने तुर्बक / गिफर्ड पुस्तक …

2
लीनियर लॉजिक का लोक मॉडल क्या है?
संभवतः PL में रैखिक प्रकारों का सबसे आम अनुप्रयोग उन भाषाओं को देने के लिए उपयोग करना है जो अलियासिंग को नियंत्रित करते हैं (यानी, एक रैखिक मान इसके लिए एक एकल सूचक है, कम या ज्यादा)। लेकिन इस उपयोग और रैखिक तर्क के विशिष्ट संप्रदाय मॉडल के बीच एक …

2
एक कार्यक्रम अनुवाद के पूर्ण निरपेक्षता बनाम पूर्ण पूर्णता
कंपाइलर सत्यापन के प्रयास अक्सर कंपाइलर को पूरी तरह से अमूर्त साबित करने के लिए नीचे आते हैं: कि यह (प्रासंगिक) समकक्षों को संरक्षित और प्रतिबिंबित करता है। पूर्ण अमूर्त प्रमाण प्रदान करने के बजाय, हसेगावा [ 1 , 2 ] और एगर एट द्वारा कुछ हालिया (श्रेणी आधारित) संकलक …

2
अर्ध-अवधि / विभिन्न संबंधों / जिग-जैग संबंधों का उपयोग?
यह देखते हुए सेट और बी , एक difunctional संबंध ( ~ ) ⊆ एक × बी उन दोनों के बीच एक रिश्ता निम्नलिखित संपत्ति संतोषजनक होने के लिए परिभाषित किया गया है:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B यदि और एक ' ~ ख ' और एक ~ ख ' …

2
तार्किक संबंधों की उत्पत्ति क्या है?
मेरे पास वास्तव में दो प्रश्न हैं: शब्दार्थ का संबंध सबसे पहले किसने तार्किक संबंधों के लिए इस्तेमाल किया? मैंने उन्हें रेनॉल्ड के " ऑन द रिलेशन इन द डायरेक्ट एंड कॉन्टीन्यूएशन सेमेंटिक्स " के लिए वापस ट्रेस किया , लेकिन मैं एक संपूर्ण खोज करने का दावा नहीं कर …

1
रचनात्मक मीट्रिक रिक्त स्थान के लिए निश्चित बिंदु प्रमेय?
बानाच के निश्चित बिंदु प्रमेय में कहा गया है कि यदि हमारे पास एक गैर-रिक्त पूर्ण मीट्रिक स्थान AAA , तो कोई समान रूप से संकुचनशील कार्य f:A→Af:A→Af : A \to A में एक विशिष्ट निश्चित बिंदु μ(f)μ(f)\mu(f) । हालांकि, इस प्रमेय का सबूत पसंद का स्वयंसिद्ध की आवश्यकता है …

1
एक गणितीय (श्रेणीबद्ध) प्रकार की कक्षाओं का वर्णन
एक कार्यात्मक भाषा को एक ऐसी श्रेणी के रूप में देखा जा सकता है, जहाँ इसकी वस्तुएँ प्रकार और आकारिकी उनके बीच कार्य करती हैं। इस मॉडल में टाइप कक्षाएं कैसे फिट होती हैं? मेरा मानना ​​है कि हमें केवल उन कार्यान्वयनों पर विचार करना चाहिए जो बाधा को संतुष्ट …

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

1
PCF + टाइमआउट के लिए Escardó का मीट्रिक सिमेंटिक पूरी तरह से अमूर्त है?
अपने 1999 के वर्कशॉप पेपर "ए मेट्रिक मॉडल ऑफ पीसीएफ" में , मार्टिन एस्कार्डो ने दिखाया कि पूर्ण अल्ट्रामेट्रिक स्पेस और नोक्सपैंसिव मैप्स की श्रेणी में पीसीएफ की सरल व्याख्या देना संभव है। उसने दिखाया कि यह मॉडल पर्याप्त था, और यह टाइमआउट निर्माण के अलावा मॉडल बना सकता है …

3
क्या कोई ज्ञात CCC एक संभाव्य पावरडोमेन ऑपरेशन के तहत बंद है?
समान रूप से, क्या संभाव्य उच्चतर-क्रम कार्यात्मक प्रोग्रामिंग भाषाओं के लिए एक ज्ञात संप्रदाय शब्दार्थ है? विशेष रूप से, वहाँ शुद्ध अनिर्दिष्ट -culculus का एक डोमेन मॉडल है जो एक सममित यादृच्छिक बाइनरी पसंद ऑपरेशन द्वारा विस्तारित है।λλ\lambda प्रेरणा कार्तीय बंद श्रेणियां उच्च-क्रम -culculi को एक शब्दार्थ प्रदान करती हैं। …

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

1
पीसीएफ में निरंतरता कार्यात्मक के मापांक की अपरिभ्यता का संदर्भ?
क्या कोई मुझे पीसीएफ में निरंतरता कार्यात्मकता के मापांक की गैर-निश्चितता के संदर्भ में इंगित कर सकता है? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} कुछ विशिष्ट मुद्दों को अधिक विस्तार से बताते हुए, एक बहुत अच्छा ब्लॉग पोस्ट लिखा है , लेकिन मैं इस प्रश्न के संदर्भ में …

1
गैर-नियतात्मक रूप से समाप्ति छोरों के बारे में तर्क
यहां "ट्रैक बी" सवाल है अगर कभी एक था। सारांश: जब मैं गैर-नियतात्मक कार्यक्रमों के लिए एक शब्दार्थ देने की कोशिश करता हूं, तो पहली बात यह होती है कि मैं उन शब्दों के बारे में साबित नहीं कर सकता जहां मैं केवल गैर-निर्धारक को समाप्त करता हूं। निश्चित रूप …

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

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.