This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

It feels like ages ago since I began the journey of writing this book. In its first year, more than 4500 copies were sold, and its reception exceeded my wildest expectations. I am thankful to all those who bought it and also to those who took the time to spread the word to others. Because technology develops at such an unrelenting...

The story of software engineering has been the story of increasing the level of abstraction at which we as programmers work, from logic encoded in hardware to toggle switches representing binary digits, through machine code, assembly language, low-level languages, and high-level languages both procedural and functional. More recently,...

When organizations try to connect with their customers online, one of the first things they always want to know is “how can we get our users to do...

With this book you'll have fun exploring the graphical and animation side of the Flex 4 SDK. There are other books out there on Flex, on Flex 4, and on RIA technologies in general, but they generally don't cover the techniques that help you write cooler applications. This book is specifically about the graphical and animation...

A new world of creative possibilities is opened by Blender, the most popular and powerful open source 3D and animation tool. Blender is not just free software; it is also an important professional tool used in animated shorts, television commercials, and shows, as well as in production for films like Spiderman 2. Lance...

The Verilog language is a hardware description language that provides a means of specifying a digital system at a wide range of levels of abstraction. The language supports the early conceptual stages of design with its behavioral level of abstraction, and the later implementation stages with its structural abstractions. The language includes...

As the discipline of computer science has matured, it has become clear that a study of discrete mathematical topics is an essential part of the computer science major. The course in discrete structures has two primary aims. The first is to introduce students to the rich mathematical structures that naturally describe much of the content of...

Perhaps the largest impact that Bayesian networks have had is on the field of AI, where they were...

By the time you’re reading this in a bookstore, BizTalk will have celebrated its tenth birthday. Over the past decade, there have been seven releases of Microsoft’s enterprise integration server, and it has become the most broadly deployed integration middleware technology in the industry, with over 10,000 customers worldwide....

Contextual computing has been around for several years with a variety of names such as pervasive computation and omnipresent computing. Recently there has been a drive toward making personal digital assistants (PDAs) more aware of their environment. For example, a cell phone may sense that it is in a conference room and reason that it should...

It is not often that we can welcome the advent of a new theory of programming. Twelve years ago, E.W. Dijkstra published his Discipline of Programming, which is still a definitive source-book on the development of sequential algorithms. And now Chandy and Misra have shown how Dijkstra's methods, and other more recent developments, can be...