{"product_id":"9781461267577","title":"Progress in Theoretical Computer Science: Correctness, Completeness and Independence Results","description":"\u003ch1\u003eProgress in Theoretical Computer Science: Correctness, Completeness and Independence Results\u003c\/h1\u003e \u003ch2\u003eStreicher, T.\u003c\/h2\u003e \u003cp\u003eTyping plays an important role in software development. Types can be consid­ ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci­ fication. By translating a problem specification into a proposition in constructive logic, one can go one step further: the effectiveness and unifonnity of a con­ structive proof allows us to extract a program from a proof of this proposition. Thus by the \"proposition-as-types\" paradigm one obtains types whose elements are considered as proofs. Each of these proofs contains a program correct w.r.t. the given problem specification. This opens the way for a coherent approach to the derivation of provably correct programs. These features have led to a \"typeful\" programming style where the classi­ cal typing concepts such as records or (static) arrays are enhanced by polymor­ phic and dependent types in such a way that the types themselves get a complex mathematical structure. Systems such as Coquand and Huet's Calculus of Con­ structions are calculi for computing within extended type systems and provide a basis for a deduction oriented mathematical foundation of programming. On the other hand, the computational power and the expressive (impred­ icativity !) of these systems makes it difficult to define appropriate semantics.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Birkhäuser\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-10-29\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461267577\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4612-0433-6\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 299\u003c\/p\u003e ","brand":"Birkhäuser Boston","offers":[{"title":"Default Title","offer_id":44408066572428,"sku":"9781461267577","price":89.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461267577.jpg?v=1776437475","url":"https:\/\/lateknightbooks.com\/products\/9781461267577","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}