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

व्यावहारिक रूप से, एक भाषा के लिए जिसे अंततः सिस्टम स्तर के निर्देशों में संकलित / रूपांतरित किया जा सकता है, क्या यह आवश्यक है कि यह एक संदर्भ मुक्त व्याकरण हो? ex: क्या सभी प्रोग्रामिंग / स्क्रिप्टिंग भाषाएँ संदर्भ मुक्त व्याकरण हैं? जावा सीएफजी पर आधारित है, लेकिन क्या …

23 pl.programming-languages  context-free 

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

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

क्या श्रेणी सिद्धांत के संदर्भ में वायदा या वादों का एक उपयोगी वर्णन है ? विशेष रूप से, भविष्य का स्पष्ट दोहरी क्या हो सकता है?

22 pl.programming-languages  ct.category-theory  concurrency 

चूँकि यह गैर-संकलित संगणना की अनुमति नहीं देता है, Coq जरूरी नहीं कि ट्यूरिंग-पूर्ण हो। कोक गणना कर सकते हैं कि कार्यों का वर्ग क्या है? (वहाँ एक दिलचस्प लक्षण वर्णन है?)

22 computability  pl.programming-languages  coq 

मुझे बस एहसास हुआ कि मैं अपने प्रश्न का उत्तर "हाँ" मान रहा हूं, लेकिन मेरे पास कोई अच्छा कारण नहीं है। मैं कल्पना करता हूं कि शायद एक कचरा संग्रहकर्ता है जो केवल सबसे खराब स्थिति वाले मंदी का परिचय देता है । क्या कोई निश्चित संदर्भ है जिसका …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

हो सकता है कि किसी के बीच का अंतर समझाने में सक्षम हो: बीजगणितीय डेटाटिप्स (जो मैं काफी परिचित हूं) सामान्यीकृत बीजगणितीय डेटाटिप्स (उन्हें सामान्यीकृत क्या बनाता है?) आगमनात्मक प्रकार (जैसे Coq) (विशेष रूप से आगमनात्मक प्रकार।) धन्यवाद।

21 lo.logic  pl.programming-languages  type-theory  dependent-type 

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

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

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

20 reference-request  pl.programming-languages  semantics  compilers 

औपचारिक तरीकों का एक महत्वपूर्ण लक्ष्य सिस्टम की शुद्धता को साबित करना है, या तो स्वचालित या मानव-निर्देशित साधनों द्वारा। हालाँकि, ऐसा लगता है कि भले ही आप एक सही प्रमाण दे सकें, आप यह गारंटी नहीं दे सकते कि सिस्टम विफल नहीं होगा। उदाहरण के लिए: विनिर्देश सिस्टम को …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

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

19 lo.logic  pl.programming-languages  lambda-calculus 

कुल कार्यात्मक प्रोग्रामिंग की सीमाएं क्या हैं? यह ट्यूरिंग-पूर्ण नहीं है, लेकिन फिर भी संभावित कार्यक्रमों के एक बड़े उपसमूह का समर्थन करता है। क्या ऐसे महत्वपूर्ण निर्माण हैं जो आप ट्यूरिंग-पूर्ण भाषा में लिख सकते हैं, लेकिन कुल कार्यात्मक भाषा में नहीं? और क्या यह कहना सही है कि …

19 computability  pl.programming-languages  functional-programming 

एक फ्रेम नियम , जैसे नीचे दिया गया है, उस विचार को पकड़ता है, cजिसमें पूर्वनिर्धारण के साथ एक प्रोग्राम दिया गया है, pजो चलने से पहले होता है और qबाद में होने वाला पोस्टकंडेशन , कुछ असंतुष्ट स्थिति rको cचलाने से पहले और बाद में दोनों को पकड़ना चाहिए …

18 lo.logic  pl.programming-languages  program-logic 

क्या यह व्याकरण कार्यक्रमों का सुधार है ? पिछले Vag और टिप्पणीकारों से कई सुझावों के साथ पूछा । किस तरह से एक व्याकरण को गणना के मॉडल को निर्दिष्ट करने के रूप में देखा जा सकता है? यदि, उदाहरण के लिए, हम एक सरल संदर्भ-मुक्त व्याकरण लेते हैं G …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

इस पृष्ठ का दावा है कि कई भाषाओं में निहित सबटाइपिंग (संरचनात्मक समतुल्यता) का उपयोग नहीं किया जाता है, स्पष्ट / घोषित उपप्रकार (घोषणा समतुल्यता) को प्राथमिकता देना मैंने ज्यादातर प्रोग्रामिंग लैंग्वेज का इस्तेमाल किया है जो स्पष्ट सबटाइपिंग का उपयोग करती है । जैसा कि ऊपर नोटों में वर्णित …

18 pl.programming-languages  type-theory 

प्रोग्रामिंग भाषाओं, विशेष रूप से कार्यक्रम विश्लेषण और संकलन से उत्पन्न होने वाली कुछ प्रमुख, खुली कम्प्यूटेशनल जटिलता समस्याएं क्या हैं? मैं "हिंडले-मिलनर प्रकार के अनुमान की समय जटिलता" या "0CFA की समय जटिलता" (हालांकि दोनों हल की गई समस्याएं हैं) की तर्ज पर समस्याओं की तलाश कर रहा हूं।

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem