Обложка Universal Quantification in Categorical Logic Programming
Название книги:

Universal Quantification in Categorical Logic Programming

Categorical operational semantics for universal quantification in hereditarily Harrop logic programming

VDM Verlag Dr. Müller (2011-08-24 )

Books loader

Omni badge имеющий право на ваучер
ISBN-13:

978-3-639-36828-4

ISBN-10:
3639368282
EAN:
9783639368284
Язык Книги:
Английский
Краткое описание:
As the subject of logic programming has grown, demand for more expressive power and efficiency has led language designers to import constructs from other programming paradigms. Given the substantial gap between semantic methods in the functional, imperative and declarative programming communities, it is hard to evaluate the effectiveness of proposals to add imported features to logic programming, unless there is an agreed-upon common framework. A categorical foundation for logic programming is an essential tool in this endeavour. In this work we show how to handle universal quantification in categorical logic programming via indexed categories. We define categorical syntax via tau-categories, and resolution over such categories for hereditarily Harrop programs and goals, and give a categorical operational semantics with respect to which resolution is shown sound and complete. Our model theory is a categorical generalization of the Kowalski-Van Emden fixed point semantics based on indexing over programs in order to capture program augmentation and state change. This framework is sufficiently broad to handle constraint logic programming and also a treatment of abstract datatypes.
Издательский Дом:
VDM Verlag Dr. Müller
Веб-сайт:
http://www.vdm-verlag.de
By (author) :
Ayalur Krishnan
Количество страниц:
72
Опубликовано:
2011-08-24
Акции:
В наличии
Категория:
Математика
Цена:
49.00 €
Ключевые слова:
Universal, quantifiers, Logic, programming, Harrop, Categorical, semantics, Soundness, completeness.

Books loader

Рассылка

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal CryptoWallet Банковский перевод

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING