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

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

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

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

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

इस प्रश्न को हल करने पर विचार करें। मैं सबसे अच्छा जवाब नहीं दूंगा क्योंकि उन सभी ने विषय की मेरी समझ में योगदान दिया है। Im अनिश्चित है कि हमें औपचारिक तर्क के शब्दार्थ को परिभाषित करने से क्या लाभ है। लेकिन मुझे औपचारिक प्रमाण पथरी होने का मूल्य …

25 lo.logic  semantics 

यह मुझे लगता है कि टी द्वारा नियोजित मैक्रो भाषाटीइएक्सटीइएक्स\TeX को संभवतः किसी प्रकार की शब्द पुनर्लेखन प्रणाली या कॉल-बाय-नाम स्कूपिंग के साथ किसी प्रकार की प्रोग्रामिंग भाषा के रूप में देखा जा सकता है। टी के आधुनिक कार्यान्वयन भीटीइएक्सटीइएक्स\TeX इंजन (जैसेएक्स ई टीइएक्सएक्सइटीइएक्स\mathit{Xe}\TeX ) कोड की व्याख्या काफी प्रत्यक्ष …

21 pl.programming-languages  semantics  term-rewriting-systems 

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

20 reference-request  pl.programming-languages  semantics  compilers 

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

19 imperative-programming  semantics  big-picture 

मैं साइमन पेटन जोन्स के कार्यात्मक प्रोग्रामिंग भाषाओं के कार्यान्वयन को पढ़ रहा हूं और एक बयान है जिसने मुझे थोड़ा आश्चर्यचकित किया है (पृष्ठ 39 पर): की तुलना में बहुत अधिक हद तक अनिवार्य भाषाओं के लिए मामला है, कार्यात्मक भाषाएं मोटे तौर पर एक-दूसरे के रूपात्मक रूप से …

17 functional-programming  semantics  imperative-programming 

मैं प्रोग्रामिंग भाषाओं के सिद्धांत के लिए नया हूं और मैं प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ के लिए एक संसाधन पर एक अच्छे संसाधन की तलाश कर रहा हूं। विशेष रूप से संरचनात्मक परिचालन शब्दार्थ की तलाश में। मुझे कुछ पुस्तक सिफारिशें मिलीं। लेकिन मैं एक अधिक परिचयात्मक स्तर में …

17 reference-request  pl.programming-languages  semantics  formal-systems 

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

16 pl.programming-languages  semantics 

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

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Q1। हम कब कह सकते हैं कि दो प्रोग्राम (कुछ प्रोग्रामिंग भाषा में जैसे C ++ में लिखे गए) अलग हैं? पहला चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान हैं। अन्य चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान फ़ंक्शन की …

15 pl.programming-languages  semantics  equivalence 

डिस्क्लेमर : जब मैं टाइप थ्योरी की परवाह करता हूं, तो मैं खुद को टाइप थ्योरी का विशेषज्ञ नहीं मानता। बस टाइप किए गए लैम्ब्डा कैलकुलस में, शून्य प्रकार में कोई कंस्ट्रक्टर और एक अद्वितीय एलिमिनेटर नहीं है: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} एक संप्रदायिक …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

मेरे पास शुद्ध कार्यों के संबंध में प्रश्न हैं। विकिपीडिया पृष्ठ के अनुसार शुद्ध कार्य के लिए अपेक्षित में से एक है: परिणाम का मूल्यांकन किसी भी शब्दानुभवनीय दुष्प्रभाव या आउटपुट का कारण नहीं बनता है, जैसे कि उत्परिवर्तनीय वस्तुओं का उत्परिवर्तन या I / O उपकरणों के आउटपुट। अब …

11 functional-programming  semantics 

से मूल्यांकन रणनीति विकिपीडिया पर लेख: लैम्ब्डा कैलकुलस में कमी की रणनीति की धारणा समान है लेकिन अलग है। से कमी रणनीति विकिपीडिया पर लेख: यह समान है, लेकिन कंप्यूटर विज्ञान में मूल्यांकन रणनीति की धारणा से बिल्कुल अलग है। मूल्यांकन रणनीतियों और कटौती रणनीतियों के बीच सूक्ष्म अंतर क्या …

10 pl.programming-languages  lambda-calculus  semantics 

सर्किट मिनिमलाइज़ेशन किसी दिए गए सर्किट के आकार को कम करने के लिए समस्या है। क्या सामान्य कार्यक्रमों के लिए भी कुछ ऐसा ही है? विशेष रूप से मेरा सवाल है - क्या दिए गए प्रोग्राम के लिए निर्देशों के # को कम करने के लिए एल्गोरिदम मौजूद हैं। मुझे …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers