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

একটি ভিন্ন থ্রেডে , আন্দ্রেজ বাউর ডোনোটেশনাল শব্দার্থকে সংজ্ঞায়িত করেছেন: একটি প্রোগ্রামের অর্থ হল এর অংশগুলির অর্থের একটি ক্রিয়া। আমাকে এই সংজ্ঞাটি সম্পর্কে বিরক্ত করার কারণ এটি হ'ল সাধারণত যেটিকে নন-ডায়নোটেশনাল শব্দার্থক হিসাবে বলা হয় যা স্ট্রাকচারাল অপারেশনাল শব্দার্থক হিসাবে সাধারণত ভাবা হয় তার থেকে একটিকে বোঝায় না । আরো …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

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

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

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

25 lo.logic  semantics 

এটি আমার কাছে মনে হয় যে টি দ্বারা নিযুক্ত ম্যাক্রো ভাষা সম্ভবত একরকম টার্ম রাইটারিং সিস্টেম বা একধরনের প্রোগ্রামিং ল্যাঙ্গুয়েজ কল-বাই-নাম স্কোপিংয়ের সাথে দেখা যেতে পারে।টিইএক্সটিইএক্স\TeX এমনকি টি এর আধুনিক বাস্তবায়নও ইঞ্জিন (যেমন এক্স ই টিটিইএক্সটিইএক্স\TeX ) কোডটি পুরোপুরি প্রত্যক্ষভাবে ব্যাখ্যা করুন এবং আমি কার্যকরকরণের অনুকূলকরণের কোনও প্রচেষ্টা সম্পর্কে অবগত …

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

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

20 reference-request  pl.programming-languages  semantics  compilers 

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

19 imperative-programming  semantics  big-picture 

আমি সাইমন পাইটন জোন্স এর কার্যকরী প্রোগ্রামিং ভাষার প্রয়োগ বাস্তবায়িত করছি এবং এর একটি বিবৃতি আমাকে সামান্য বিস্মিত করেছে (পৃষ্ঠা 39): অপরিহার্য ভাষাগুলির তুলনায় অনেক বড় পরিসরে, কার্যকরী ভাষাগুলি অপেক্ষাকৃত কয়েকটি শব্দার্থক পার্থক্য সহ বেশিরভাগ ক্ষেত্রে একে অপরের সিন্থেটিক ভিন্নতা। এখন, এটি 1987 সালে লেখা হয়েছিল এবং এই বিষয়ে আমার …

17 functional-programming  semantics  imperative-programming 

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

17 reference-request  pl.programming-languages  semantics  formal-systems 

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

16 pl.programming-languages  semantics 

সংকলক যাচাইকরণের প্রচেষ্টা প্রায়শই কমপ্লায়ার সম্পূর্ণ বিমূর্ত প্রমাণ করার জন্য নেমে আসে: এটি (প্রাসঙ্গিক) সমতা রক্ষা করে এবং প্রতিফলিত করে। সম্পূর্ণ বিমূর্ততার প্রমাণ সরবরাহ করার পরিবর্তে, কিছুটা সাম্প্রতিক (শ্রেণীবদ্ধ ভিত্তিক) সংকলক যাচাইকরণের কাজ হাসেগাওয়া [ 1 , 2 ] এবং এগার এট দ্বারা। অল। [ 3 ] বিভিন্ন সিপিএস অনুবাদগুলির …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

চতুর্থাংশ 1। আমরা কখন বলতে পারি যে দুটি প্রোগ্রাম (কিছু প্রোগ্রামিং ভাষায় সি ++ এর মতো লেখা) আলাদা হয়? প্রথম চূড়ান্তভাবে বলা হয় যে দুটি প্রোগ্রাম সমান হয় যদি সেগুলি অভিন্ন হয়। অন্য চূড়ান্ত বলতে দুটি প্রোগ্রাম সমান হয় যদি তারা একই ফাংশন গণনা করে (বা একই পরিবেশে একই পর্যবেক্ষণযোগ্য …

15 pl.programming-languages  semantics  equivalence 

দাবি অস্বীকার : আমি টাইপ তত্ত্ব সম্পর্কে যত্নশীল থাকাকালীন আমি নিজেকে টাইপ তত্ত্বের বিশেষজ্ঞ হিসাবে বিবেচনা করি না। সহজভাবে টাইপ করা ল্যাম্বদা ক্যালকুলাসে শূন্য টাইপের কোনও নির্মাণকারী এবং একটি অনন্য নির্মূলকারী নেই: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} ডেনোটেশনাল দৃষ্টিকোণ থেকে, সমীকরণ initial(M1)=initial(M2)initial(M1)=initial(M2)initial (M_1) = initial(M_2) …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

খাঁটি ফাংশন সম্পর্কে আমার প্রশ্ন আছে। উইকিপিডিয়া পৃষ্ঠা অনুসারে খাঁটি ফাংশনের জন্য প্রয়োজনীয়গুলির মধ্যে একটি হল: ফলাফলের মূল্যায়ন কোনও শব্দার্থভাবে পর্যবেক্ষণযোগ্য পার্শ্ব প্রতিক্রিয়া বা আউটপুট সৃষ্টি করে না, যেমন পরিবর্তনযোগ্য বস্তুর রূপান্তর বা I / O ডিভাইসে আউটপুট। এখন এর আসলে কী বোঝায়। বা বরং আমি কীভাবে পার্শ্ব প্রতিক্রিয়া তৈরি …

11 functional-programming  semantics 

থেকে মূল্যায়ন কৌশল উইকিপিডিয়া নিবন্ধ: ল্যাম্বদা ক্যালকুলাসে হ্রাস কৌশলটির ধারণাটি একই তবে স্বতন্ত্র। থেকে হ্রাস কৌশল উইকিপিডিয়া নিবন্ধ: এটি কম্পিউটার বিজ্ঞানের মূল্যায়ন কৌশলের ধারণার তুলনায় তবে সূক্ষ্মভাবে পৃথক। এই দুটি নিবন্ধটি ইঙ্গিত করে মূল্যায়ন কৌশল এবং হ্রাস কৌশলগুলির মধ্যে সূক্ষ্ম পার্থক্য কী? এগুলি কি ভিন্ন ডোমেন থেকে কেবল দুটি অনুরূপ …

10 pl.programming-languages  lambda-calculus  semantics 

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

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