Types for Proofs and Programs, Eduardo Gimenez; Christine Paulin-Mohring

Автор: Peter Dybjer; Bengt Nordstr?m; Jan Smith
Название: Types for Proofs and Programs
ISBN: 3540605797 ISBN-13(EAN): 9783540605799
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this collection address various aspects of developing computer-assisted proofs and programs using a logical framework. The text deals with type theory, and programs using logical frameworks based on it, including ALF, Coq and LEGO.

Автор: Henk Barendregt; Tobias Nipkow
Название: Types for Proofs and Programs
ISBN: 3540580859 ISBN-13(EAN): 9783540580850
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains research papers devoted to the theoretical foundations, design and application of computer systems for theory development. Such systems help to design mathematical axiomatization, perform computer-aided logical reasoning and manage databases of mathematical facts.

Автор: Jean-Christophe Filliatre; Christine Paulin-Mohrin
Название: Types for Proofs and Programs
ISBN: 3540314288 ISBN-13(EAN): 9783540314288
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Автор: Stefano Berardi; Mario Coppo
Название: Types for Proofs and Programs
ISBN: 3540617809 ISBN-13(EAN): 9783540617808
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 19 papers included in this book deal with foundations of type theory, logical frameworks, and implementations and applications, and present a current survey for the area of type theory.

Автор: Thierry Coquand; Peter Dybjer; Bengt Nordstr?m; Ja
Название: Types for Proofs and Programs
ISBN: 3540415173 ISBN-13(EAN): 9783540415176
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work constitutes the post-workshop proceedings of the Third International Workshop, TYPES`99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. Issues on type theory and type systems and their applications to programming and proof theory are addressed.

Автор: Thorsten Altenkirch; Wolfgang Naraschewski; Bernha
Название: Types for Proofs and Programs
ISBN: 3540665374 ISBN-13(EAN): 9783540665373
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES `98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.

Автор: Paul Callaghan; Zhaohui Luo; James McKinna; Robert
Название: Types for Proofs and Programs
ISBN: 3540432876 ISBN-13(EAN): 9783540432876
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.

Автор: Thorsten Altenkirch; Conor McBride
Название: Types for Proofs and Programs
ISBN: 3540744630 ISBN-13(EAN): 9783540744634
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006. This book presents 17 revised full papers that were reviewed and selected from 29 submissions.

Автор: Marino Miculan; Ivan Scagnetto; Furio Honsell
Название: Types for Proofs and Programs
ISBN: 3540680845 ISBN-13(EAN): 9783540680840
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory.

Автор: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Название: Types for Proofs and Programs
ISBN: 3642024432 ISBN-13(EAN): 9783642024436
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.

Автор: Iman Poernomo; John N. Crossley; Martin Wirsing
Название: Adapting Proofs-as-Programs
ISBN: 1441920145 ISBN-13(EAN): 9781441920140
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

Автор: Lutz Pl?mer
Название: Termination Proofs for Logic Programs
ISBN: 3540528377 ISBN-13(EAN): 9783540528371
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages.