Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
Add a new Book

Programming in Martin-Lof's Type Theory

Author: Bengt Nordström Kent Petersson Jan M. Smith
Url: http://www.cs.chalmers.se/Cs/Research/Logic/book/
Format: Pdf
Category: Compilers and Languages
Pages: 210
Clicks: 1417

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. 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.

Similar Books
Semantics with Applications
Working with Objects: The Ooram Software Engineering method
A Compact Guide to Lex & Yacc
Parsing Techniques - A Practical Guide
Advanced Programming Language Design
Programming Languages
Compiler Construction using Flex and Bison
Compiler Design: Theory, Tools, and Examples

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books