ডেটা-প্রবাহ বিশ্লেষণের সমতুল্যতা, বিমূর্ত ব্যাখ্যা এবং প্রকারের অনুমান?

Question

@ Babou এর একটি সাম্প্রতিক প্রশ্নের উত্তর আমাকে মনে করিয়ে দেয় এক সময়ে আমি মনে করি যে আমি (ঘটনা যে অনুমিত বা প্রমাণিত করা যায় এবং অনুমান অ্যালগরিদম চলমান সময় জটিলতা উভয় পদ) সমানতা সম্পর্কে একটি কাগজ পড়তে ডেটা-প্রবাহ বিশ্লেষণ , বিমূর্ত ব্যাখ্যা , এবং অনুমান টাইপ করুন ।

কিছু উপ-ক্ষেত্রে (যেমন প্রসঙ্গের সংবেদনশীল আন্তঃসম্পর্কিত ডেটা-প্রবাহ বিশ্লেষণ এবং বিমূর্ত ব্যাখ্যাটির মধ্যে) সমতাটি আমার কাছে তুলনামূলকভাবে সুস্পষ্ট, তবে অন্যান্য তুলনাগুলির জন্য প্রশ্নটি আরও সূক্ষ্ম বলে মনে হয়। উদাহরণস্বরূপ, আমি হ্যান্ডলি-মিলনার ধরণের অনুমানটি কীভাবে প্রবাহ-সংবেদনশীল ডেটা-প্রবাহ বিশ্লেষণের মাধ্যমে প্রমাণিত হতে পারে এমন কয়েকটি বৈশিষ্ট্য প্রমাণ করতে ব্যবহার করতে পারি figure

ডেটা-প্রবাহ বিশ্লেষণ, বিমূর্ত ব্যাখ্যা এবং প্রকারের অনুক্রমের মধ্যে সমতা (বা পার্থক্য) নিয়ে আলোচনা করে সেমিনাল রেফারেন্সগুলি কী কী?

Answer 1

ডেটা ফ্লো বিশ্লেষণ এবং প্রকার অনুকরণ বিমূর্ত ব্যাখ্যার নির্দিষ্ট উদাহরণ।

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

দেখা যাচ্ছে যে প্রকারের অনুমানটি ফিক্স-পয়েন্ট গণনা সম্পর্কেও রয়েছে, যদিও তা স্পষ্টতই, ইমো থেকে দূরে। এখানে এমন একটি কাগজ যা স্পষ্টভাবে দেখায় যে প্রকারগুলি বিমূর্ত ব্যাখ্যা: কাগজ । মূলত, প্রকারগুলি প্রোগ্রাম কংক্রিট শব্দার্থবিজ্ঞানের বিমূর্ততা হিসাবে দেখা হয়। উদাহরণস্বরূপ, হিন্ডি-মিলনার টাইপ সিস্টেমে প্রকারের বিমূর্ত ডোমেনটি হ'ল অসীম উচ্চতা এবং একীকরণের সাহায্যে একটি (সবচেয়ে সাধারণ) প্রকারের গণনা করা মূলত একটি (খুব অসম্পূর্ণ) প্রশস্তকরণ ক্রিয়াকলাপ সম্পাদন করে।

Answer 2

এই তিনটি পদ্ধতির সম্পর্কে এবং কীভাবে সম্পর্কিত তা সম্পর্কে শিখার জন্য একটি ভাল জায়গা হ'ল নীলসন, নীলসন এবং হানকিনের প্রোগ্রাম প্রিন্সিপালস অফ প্রিন্সিপালস বইটি ।

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

Answer 3

আমি তাদেরকে মূলত একই হিসাবে বিবেচনা করি। তাদের সবেমাত্র বিভিন্ন লক্ষ্য ছিল এবং বিভিন্ন কম্পিউটার বিজ্ঞান দল দ্বারা প্রস্তুত করা হয়েছিল।

তথ্য প্রবাহ বিশ্লেষণটি সংকলক ইঞ্জিনিয়ারিং বিভাগ থেকে আসে, তাদের অপ্টিমাইজেশন অ্যালগরিদমগুলি সম্পর্কে কথা বলার চেষ্টা করে এবং তাদের জটিলতার উপরের সীমানা প্রমাণ করে ইত্যাদি comes

বিমূর্ত ব্যাখ্যা কম্পিউটার বিজ্ঞানের আনুষ্ঠানিক, গাণিতিক ক্ষেত্র থেকে আসে। এটি নির্ভুলতার প্রতি আরও আগ্রহ এবং আসল সংকলক তৈরিতে কম আগ্রহ সহ এটি আরও একটি আনুষ্ঠানিক সংস্করণ।

টাইপ অনুমানটি কার্যকরী প্রোগ্রামিংয়ের একাডেমিক ক্ষেত্র থেকে আসে যেখানে প্রাথমিকভাবে এটি সংকলকগুলির সাথে দুর্দান্ত জিনিসগুলি করার সরঞ্জাম ছিল। তারপরে ধারণাটি এসেছিল, একটি ধরণ কেবল "ইনট" বা "ফ্লোট" এর চেয়ে অনেক বেশি হতে পারে তবে ক্লাসিক ডেটা ফ্লো বিশ্লেষণের মতো অন্যান্য স্টাফও হতে পারে।