Klicka på en bild för att gå till Google Book Search.
Laddar... Programming in Martin-Lof's Type Theory: An Introduction (International Series of Monographs on Computer Science)av Bengt Nordström
Ingen/inga Laddar...
Gå med i LibraryThing för att få reda på om du skulle tycka om den här boken. Det finns inga diskussioner på LibraryThing om den här boken. Inga recensioner inga recensioner | lägg till en recension
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. Inga biblioteksbeskrivningar kunde hittas. |
Pågående diskussionerIngen/ingaPopulära omslagIngen/inga
Google Books — Laddar... GenrerMelvil Decimal System (DDC)005.1Information Computing and Information Computer programming, programs, data, security ProgrammingKlassifikation enligt LCBetygMedelbetyg: Inga betyg.Är det här du? |