Books > Computing & IT > Computer programming
|
Buy Now
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Paperback, 2008 ed.)
Loot Price: R1,580
Discovery Miles 15 800
|
|
Types for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Paperback, 2008 ed.)
Series: Lecture Notes in Computer Science, 4941
Expected to ship within 10 - 15 working days
|
These proceedings contain a selection of refereed papers presented
at or related
totheAnnualWorkshopoftheTYPESproject(EUcoordinationaction510996),
which was held during May 2-5, 2007 in Cividale del Friuli (Udine),
Italy. The topic of this workshop was formal reasoning and computer
progr- ming basedon type theory: languagesand computerized toolsfor
reasoning, and applications in several domains such as analysis of
programming languages, c- ti?ed software, formalization of
mathematics and mathematics education. The workshopwasattended by
morethan 100researchersandincluded morethan 40 presentations. We
also had the pleasure of three invited lectures, from Fr ed eric
Blanqui (INRIA, Protheo team), Peter Sewell (University of
Cambridge) and Amy Felty (University of Ottawa). From 22 submitted
papers, 13 were selected after a reviewing process. Each submitted
paper was reviewed by three referees; the ?nal decisions were made
by the editors. This workshop is the last of a series of meetings
of the TYPES working group funded by the European Union (IST
project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435)."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|