Запитання з тегом «semantics»

У семантиці мови програмування часто чують, що люди говорять про значення та позначення . Вони, здається, не однакові. Яка різниця? Чи пов’язаний перший з оперативною семантикою, а другий - з денотаційною семантикою? Дякую.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

Розділ Сміта у посібнику з логіки з інформатики та інші посилання описують, як метричні простори можна використовувати як домени. Я розумію, що повні метричні простори дають унікальні фіксовані точки, але я не розумію, чому метричні простори важливі. Я дуже вдячний за будь-які думки з наступних питань. Які хороші приклади використання …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Маючи справу з теоретичними категоріями доменів (скажімо, CPO і CPO), я часто бажаю словника мови теорії категорій в теорії домену.ωω\omega Тобто, з огляду на поняття, скажімо, монічна стрілка, я міг би переглянути його у словнику та побачити, які відомі його характеристики у різних категоріях доменів. Я усвідомлюю, що цього бажання …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Мене цікавлять перевірені компілятори, формалізовані в теорії типу Мартіна-Лефа, тобто Coq / Agda. На даний момент я написав невеликий приклад іграшки. Цим я можу довести, що мої оптимізації правильні. Наприклад, що доповнення з нулем можна усунути, тобто вирази типу "x + 0". Чи є оптимізації, які складно виконати звичайному компілятору, …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Це питання, яке я задав на форумі з математики SE, і мене тут направили. Отже, ось питання - Я новачок як в формальній математиці, так і в теоретичній інформатиці, тому, будь ласка, візьміть мене зі собою, якщо ви вважаєте, що моє питання неправильно поставлено. Об'єктно-орієнтоване моделювання здається дуже корисним у …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented