Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science) Год выпуска: 0Автор: Marcelo P. FioreИздательство: Страниц: 0ISBN: 0521602777Описание Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational semantics and a denotational semantics defined on top of a categorical model. To conclude, for an axiomatisation of absolute non-trivial domain-theoretic models of FPC, operational and denotational semantics are related by means of computational soundness and adequacy results. To make the book reasonably self-contained, the author includes an introduction to enriched category theory.
Похожие книги
Laszlo Gyorfi. Machine Learning for Financial Engineering (Advances in Computer Science and Engineering: Texts). – М.: , 2012. – 250 с. Michael Beer, Nitin Nohria, Resolving the Tension between Theory E, O of Change By Michael Beer, Nitin Nohria. Breaking the Code of Change. – М.: , 0. – 0 с. Marcelo P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science). – М.: , 0. – 0 с. Innovations and Advances in Computer Sciences and Engineering. – М.: , 2010. – 400 с. Computational Science and Its Applications - ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II (Lecture Notes in Computer Science). – М.: , 2008. – 1280 с. Graph-Theoretic Concepts in Computer Science: 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers (Lecture Notes ... Computer Science and General Issues). – М.: , 2010. – 353 с. Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International ... Computer Science and General Issues). – М.: , 2010. – 367 с. Albert R. Meyer. Research Directions in Computer Science – An MIT Perspective. – М.: , 1991. – 518 с. LJ PINSON. Pinson: A First Course In ?computer? Science With Modula–2 (cloth). – М.: , 1987. – 492 с. Daniel D. McCracken. A Second Course in Computer Science with PASCAL. – М.: , 1987. – 432 с. A N Biermann. Great Ideas in Computer Science: a Gentle Introduction (Paper). – М.: , 1990. – 468 с. Alan Bierman. Great Ideas in Computer Science – A Gentle Introduction 2e. – М.: , 1997. – 558 с. A W Bierman. Biermann: Great Ideas In Computer Science: A Gentle Introduction (cloth). – М.: , 1990. – 468 с. Inc. KT Solutions, KT Solutions has focused on what it takes to create efficient, professional multimedia training t KT Solutions specializes in the development of interactive multimedia training products for computer applications. Over the past decade. Beginning Windows NT Workstation 4.0 (Microsoft Windows NT). – М.: , . – с. Inc. KT Solutions, KT Solutions has focused on what it takes to create efficient, professional multimedia training t KT Solutions specializes in the development of interactive multimedia training products for computer applications. Over the past decade. Advanced Word for Office 97 (Microsoft Word 97). – М.: , . – с. Committee on DNA Technology in Forensic Science, National Research Council. DNA Technology in Forensic Science. – М.: National Academies Press, 1992. – 200 с. Napoleon Dhavamany and Praneesh Mohandas. Research Ethics in Computer Science. – М.: LAP Lambert Academic Publishing, 2013. – 120 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Ольга, 23.10 Дорогая Юля, здравствуйте! Огромное Вам спасибо за рефераты, я сегодня их забрала и прочитала, в понедельник поедем сдавать в экстернат. Не могу не сказать Вам, что Вы очень талантливый и тонкий человек. Я хорошо знаю, что образование, каким бы качественным оно не было, не даёт возможности безошибочно почувствовать поставленную задачу. Высокое качество Ваших работ бесспорно, однако меня больше всего поразила точность и артистичность не просто реализации цели и задач исследования, а исполнения АВТОРСКОЙ по духу работы: в нашем случае это не просто рефераты на заданную тему, а рефераты совершенно определённого качественно (в смысле возраста, уровня образования и т.п.) автора. Выражаю Вам своё восхищение, надеюсь на дальнейшее сотрудничество.
