|
|
libcats.org
Domains and Lambda-calculiRoberto M. Amadio, Pierre-Louis CurienThis book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Acquired Cystic Disease of the Kidney and Renal Cell CarcinomaАвтор: Isao IshikawaКатегория: medicine - surgery
Размер книги: 38.22 Mb
Comparative Developmental Physiology: Contributions, Tools, and TrendsАвтор: Stephen J. Warburton, Автор: Warren W. Burggren, Автор: Bernd Pelster, Автор: Carl L. Reiber, Автор: John SpicerКатегория: Математика, Математическая физика
Размер книги: 3.57 Mb
Chi Kung: Health and Martial ArtsАвтор: Yang Jwing-MingКатегория: Искусство
Размер книги: 12.98 Mb
Polybius: The Histories, Volume II, Books 3-4 (Loeb Classical Library No. 137)Автор: PolybiusКатегория: История
Размер книги: 10.60 Mb
35 Years of Fuzzy Set Theory: Celebratory Volume Dedicated to the Retirement of Etienne E. KerreАвтор: Chris Cornelis, Автор: Glad Deschrijver, Автор: Mike Nachtegael, Автор: Steven Schockaert, Автор: Yun Shi (editors)
Размер книги: 3.23 Mb
Feynman Vorlesungen über Physik. Band 3: Quantenmechanik. Definitive Edition, 5. AuflageАвтор: Richard P. Feynman, Автор: Robert B. Leighton, Автор: Matthew Sands
Размер книги: 169.85 Mb
|
|
|