pl.programming-languages पर टैग किए गए जवाब

मैं सोच रहा था कि कोई मुझे पीछे अंतर्ज्ञान दे सकता है कि आगमनात्मक डेटा प्रकारों की सख्त सकारात्मकता मजबूत सामान्यीकरण की गारंटी क्यों देती है। स्पष्ट होने के लिए, मैं देखता हूं कि नकारात्मक घटनाएँ किस तरह से विचलन की ओर ले जाती हैं, अर्थात् परिभाषित करके: data X …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

मैं ऐसी स्थिति में हूं, जहां मुझे यह दिखाने की जरूरत है कि मैं जिस पर काम कर रहा हूं, उसके लिए भरोसेमंद रूप से टाइप किए गए कैलकुलस के लिए टाइपकास्टिंग निर्णायक है। अब तक, मैं यह साबित करने में सक्षम रहा हूं कि सिस्टम दृढ़ता से सामान्य हो …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

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

10 pl.programming-languages  lambda-calculus  semantics 

यह एक सर्वविदित तथ्य है कि मार्टिन-लोफ प्रकार के सिद्धांत में एक असमानता (उदाहरण के लिए, ) से विरोधाभास प्राप्त करना एक ब्रह्मांड की आवश्यकता है।(0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot प्रमाण भी काफी सीधा है - ब्रह्मांड की अनुपस्थिति में, हम किसी भी आश्रित प्रकार से आश्रितों …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

अब थोड़ी देर के लिए, मुझे प्रोग्रामिंग लैंग्वेज थ्योरी और प्रोसेस कैल्कुली में बहुत दिलचस्पी है और मैंने उनका अध्ययन करना शुरू कर दिया है। सच कहूं, तो यह कुछ ऐसा है जिसे मैं करियर के लिए तैयार नहीं करूंगा। मुझे सिद्धांत अविश्वसनीय रूप से आकर्षक लगता है। एक निरंतर …

10 pl.programming-languages  process-algebra 

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

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

हम जानते हैं कि केवल टाइप किए गए लंबो-शब्द की बीटा-समता निर्णायक है। M, N: σ → σ को देखते हुए, क्या यह निर्णायक है कि क्या सभी X के लिए: , MX ? NX?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

मैं सीएस में अपने मास्टर की थीसिस लिख रहा हूं और मैं उर्फ ​​विश्लेषण के साथ काम कर रहा हूं। मैं जिस चीज में दिलचस्पी रखता हूं वह है इंट्राप्रोसेरेडुरल, फ्लो सेंसिटिव चाहिए- और जावा जैसी भाषाओं के लिए हो सकता है। मैं उन ग्रंथों की खोज कर रहा हूं …

10 reference-request  pl.programming-languages  compilers  program-analysis 

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

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

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

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

कुछ साल पहले, मैं क्रमिक पथरी में समानता के लिए निम्नलिखित वाम-शासन में भाग गया था: रों ≐ टी ⇝ θθ ( Γ ) ⊢ θ ( सी)≐ , एस Γ टी । सीs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} इधर, …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

मैं इस साइट के लिए नया हूं और यह सवाल निश्चित रूप से अनुसंधान स्तर नहीं है - लेकिन अच्छी तरह से। मेरे पास सॉफ्टवेयर इंजीनियरिंग में थोड़ी पृष्ठभूमि है और लगभग CSTheory में कोई भी नहीं है, लेकिन मुझे यह आकर्षक लगता है। एक लंबी कहानी को छोटा करने …

10 pl.programming-languages  recursion  recursive 

अनिवार्य भाषाओं के लिए प्रकार प्रणालियों के बारे में शोध पत्रों के लिए मेरी खोज में, मैं केवल परस्पर संदर्भों के साथ एक भाषा के लिए समाधान ढूंढता हूं, लेकिन यौगिक ऑपरेटरों, छोरों या सशर्त जैसे वास्तविक अनिवार्य नियंत्रण संरचनाओं के बिना। इसलिए यह स्पष्ट नहीं है कि कैसे एक …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

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

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

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

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency