All listings for this product
Best-selling in Textbooks
Save on Textbooks
- AU $27.54Trending at AU $44.05
- AU $80.99Trending at AU $88.14
- AU $71.88Trending at AU $73.73
- AU $82.90Trending at AU $85.64
- AU $72.90Trending at AU $79.61
- AU $34.73Trending at AU $42.75
- AU $21.22Trending at AU $25.56
About this product
- DescriptionTyping 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.
- Author(s)Thomas Streicher
- PublisherSpringer-Verlag New York Inc.
- Date of Publication29/10/2012
- Series TitleProgress in Theoretical Computer Science
- Place of PublicationNew York
- Country of PublicationUnited States
- ImprintSpringer-Verlag New York Inc.
- Content Notebiography
- Weight486 g
- Width156 mm
- Height234 mm
- Spine16 mm
- Format DetailsTrade paperback (US)
- Edition StatementSoftcover reprint of the original 1st ed. 1991
This item doesn't belong on this page.
Thanks, we'll look into this.