Types for Proofs and Programs

Types for Proofs and Programs

4.11 - 1251 ratings - Source

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.Technical report, Sun Microsystems, Inc. and Motorola, Inc. (2002) JSR 37 Expert Group. ... The Coq Proof Assistant Reference Manual a€“ Version V8.1 (2006) Zanella B Ieguelin, S., Betarte, G., Luna, C.: A formal specification of the MIDP 2.0 anbsp;...

Title:Types for Proofs and Programs
Author: Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro
Publisher:Springer Science & Business Media - 2009-06-19

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA