প্রশ্ন ট্যাগ «compilers»

5
সংকলক নির্ভুলতার প্রমাণ
আমি টিউটোরিয়াল উপাদানটি সন্ধান করছি যা সংকলক নির্ভুলতার প্রমাণগুলি কভার করে, প্রাথমিকভাবে গ্রেডের শিক্ষার্থীর স্তরে ডেনোটেশনাল পদ্ধতি ব্যবহার করে। বিকল্পভাবে, আপনি কি কয়েকটি সাধারণ সংকলক উদাহরণগুলি সম্পর্কে জানেন যা আমি সমস্যাগুলি বর্ণনা করতে ব্যবহার করতে পারি? (আমার কাছে প্রথম যে উদাহরণটি এসেছিল তা হ'ল ইনফিক্স থেকে পোস্টফিক্স এক্সপ্রেশনর অনুবাদক But …

2
মডিউলার সংকলকটিতে কেউ কি পোটিয়র এবং গৌথিয়রের বহুবিধ ডিফেকশনালাইজেশন ব্যবহার করেছেন?
Defunctionalization হল এমন একটি প্রোগ্রাম রূপান্তর যা উচ্চ-অর্ডার প্রোগ্রামগুলিকে প্রথম অর্ডার প্রোগ্রামগুলিতে রূপান্তর করে। ধারণাটি হ'ল একটি প্রোগ্রাম দেওয়া হয়েছে, কেবলমাত্র চূড়ান্তভাবে অনেকগুলি ল্যাম্বডা-অ্যাবস্ট্রাকশন রয়েছে, তাই আপনি প্রতিটি ল্যাম্বডাকে একটি আইডি দিয়ে প্রতিস্থাপন করতে পারেন এবং প্রতিটি ফাংশন অ্যাপ্লিকেশন একটি প্রয়োগ পদ্ধতিতে একটি কল দিয়ে সেই আইডিতে শাখা করে। এটি …

4
গত কয়েক বছর ধরে সংকলক অপ্টিমাইজেশন কৌশলগুলিতে নতুন কী?
আমি ডেটা ফ্লো এবং কন্ট্রোল ফ্লো গ্রাফগুলির অপ্টিমাইজেশনে আগ্রহী এবং বিশেষত আরও কম্পিউটারিয় জটিল। তবে পীফোল অপটিমাইজেশনের ক্ষেত্রে সর্বশেষ আবিষ্কারগুলি সম্পর্কে জানতে আগ্রহী হবে।

1
স্ট্যালিন সংকলক নির্মমভাবে অনুকূল করে, তবে কীভাবে?
জেএম সিসকিন্ডের গবেষণা বিবৃতিতে বলা হয়েছে: স্ট্যালিন হ'ল স্কিমের জন্য একটি অনুকূলকরণ সংকলক যা পুরো প্রোগ্রাম স্ট্যাটিক বিশ্লেষণ করে এবং সেই বিশ্লেষণের ফলাফলগুলিকে অত্যন্ত দক্ষ কোড তৈরি করতে ব্যবহার করে। স্ট্যালিন স্থির-বিশ্লেষণ কৌশলগুলির একটি বৃহত সংগ্রহ ব্যবহার করে। এটি বহুবিধ প্রবাহ বিশ্লেষণের একটি অভিনব রূপ সম্পাদন করে যা প্রবাহ-নির্দেশিত বিভাজন …
14 compilers 


2
নির্ভরকারী টাইপের জন্য সংকলক কি কোনও ইন্টারপ্রেটারের চেয়ে অনেক বেশি শক্ত?
আমি নির্ভরশীল প্রকারগুলি বাস্তবায়ন সম্পর্কে কিছু শিখছি, এই টিউটোরিয়ালটির মতো , তবে তাদের বেশিরভাগই দোভাষী ব্যবহার করছেন। আমার প্রশ্নটি হ'ল মনে হচ্ছে নির্ভরশীল প্রকারের জন্য একটি সংকলক বাস্তবায়ন করা কোনও সংকলকের চেয়ে অনেক বেশি শক্ত, কারণ আপনি টাইপ চেকিংয়ের জন্য নির্ভরশীল প্রকারের যুক্তিগুলি সত্যই মূল্যায়ন করতে পারেন। সুতরাং আমার নিষ্পাপ …

1
প্রোগ্রাম মিনিমাইজেশন
সার্কিট মিনিমাইজেশন একটি প্রদত্ত সার্কিটের আকার হ্রাস করতে সমস্যা। সাধারণ প্রোগ্রামগুলির জন্য কি অনুরূপ কিছু আছে? বিশেষত আমার প্রশ্নটি হ'ল - প্রদত্ত প্রোগ্রামের জন্য নির্দেশাবলীর # টি কমানোর জন্য কি অ্যালগরিদম রয়েছে? আমি জানি এটি একটি অনস্বীকার্য সমস্যা তবে আমি এমন কোনও সমাধান খুঁজছি না যা সর্বোত্তম কিছু দেয়। যখন …

1
ওরফে বিশ্লেষণে সাহিত্য
আমি সিএসে আমার মাস্টারের থিসিস লিখছি এবং আমি ওরফে বিশ্লেষণ নিয়ে কাজ করছি। আমি যে জিনিসটিতে আগ্রহী তা হ'ল আন্তঃসমীক্ষক, প্রবাহ সংবেদনশীল- এবং জাভা-জাতীয় ভাষার জন্য মায়-উরফ বিশ্লেষণ। আমি এই বিষয়গুলির মূল বিষয়গুলি বিশদ উপায়ে বর্ণিত পাঠ্যগুলির জন্য অনুসন্ধান করছি তবে সত্যিকারের উপযুক্ত কিছু সনাক্ত করতে অক্ষম হয়েছি। সংকলক এবং …

2
কোক / আগদাতে প্রত্যয়িত সংকলক এবং অপ্টিমাইজেশন
আমি মার্টিন-ল্যাফ টাইপ তত্ত্ব, অর্থাৎ কোক / আগদাতে আনুষ্ঠানিকভাবে যাচাই করা সংকলকগুলিতে আগ্রহী। এই মুহুর্তে আমি একটি ছোট খেলনার উদাহরণ লিখেছি। এর মাধ্যমে আমি প্রমাণ করতে পারি যে আমার অনুকূলিতকরণগুলি সঠিক। উদাহরণস্বরূপ যে শূন্যের সাথে সংযোজনগুলি মুছে ফেলা যায়, অর্থাত "x + 0" এর মত প্রকাশ। নিয়মিত সংকলক দিয়ে সম্পাদন …

1
হাস্কেলের ধরণের শ্রেণির সম্ভাব্য বাস্তবায়ন কী কী এবং তাদের (ডিস্ক) সুবিধা কী কী?
আমি যতদূর জানি, টাইপ ক্লাসের সীমাবদ্ধতা সহ একটি হাস্কেল ফাংশন অভ্যন্তরীণভাবে অতিরিক্ত যুক্তিযুক্ত একটি ফাংশনে সংকলিত হয় যা প্রতিটি নির্দিষ্ট ধরণের শ্রেণীর প্রয়োজনীয় বাস্তবায়নের সাথে অভিধান গ্রহণ করে। টাইপ ক্লাস কীভাবে সংকলন করা যায় তার অন্য কোনও সম্ভাবনা রয়েছে? যদি তা হয় তবে তাদের (ডিস) সুবিধাগুলি কী? এবং কি সংকলক …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.