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

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

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

4
पिछले कुछ वर्षों में संकलक अनुकूलन तकनीकों में नया क्या है?
मुझे डेटा प्रवाह और नियंत्रण प्रवाह ग्राफ़ के अनुकूलन और विशेष रूप से अधिक कम्प्यूटेशनल रूप से जटिल में दिलचस्पी है। लेकिन यह भी दिलचस्प होगा कि पीपहोल अनुकूलन के क्षेत्र में नवीनतम आविष्कारों के बारे में पता चले।

1
स्टालिन कंपाइलर क्रूरता से अनुकूलन करता है, लेकिन कैसे?
जेएम सिसकींड के शोध कथन में कहा गया है: स्टालिन स्कीम के लिए एक अनुकूलन करने वाला कंपाइलर है जो पूरे कार्यक्रम का स्थैतिक विश्लेषण करता है और अत्यंत कुशल कोड उत्पन्न करने के लिए उस विश्लेषण के परिणामों का उपयोग करता है। स्टालिन स्थैतिक-विश्लेषण तकनीकों के एक बड़े संग्रह …
14 compilers 


2
क्या आश्रित प्रकार के लिए कंपाइलर एक इंट्रिप्टर की तुलना में बहुत कठिन है?
मैं इस ट्यूटोरियल की तरह आश्रित प्रकारों को लागू करने के बारे में कुछ सीख रहा हूं , लेकिन उनमें से ज्यादातर दुभाषियों को लागू कर रहे हैं। मेरा सवाल यह है कि ऐसा लगता है कि आश्रित प्रकार के लिए एक कंपाइलर को लागू करना एक कंपाइलर की तुलना …

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

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

2
Coq / Agda में प्रमाणित संकलक और अनुकूलन
मैं मार्टिन-लोफ प्रकार के सिद्धांत, यानी Coq / Agda में औपचारिक रूप से सत्यापित कंपाइलरों में रुचि रखता हूं। फिलहाल मैंने एक छोटा सा खिलौना उदाहरण लिखा है। इसके अलावा मैं साबित कर सकता हूं कि मेरी आशाएं सही हैं। उदाहरण के लिए कि शून्य के साथ परिवर्धन को समाप्त …

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