Software Foundations (Benjamin C. Pierce, et al.)

0.0 (0)
Software Foundations (Benjamin C. Pierce, et al.)

A thorough introduction to the mathematical foundations of trustworthy software can be found in the Software Foundations series.

The main innovation of the series is the complete formalization and machine-checking of every last detail; each volume's whole text, including the exercises, functions as a "proof script" for the Coq proof aid.

The exposition is meant for a wide variety of readers, including Ph.D. candidates and researchers as well as advanced undergraduate students. Although a certain level of mathematical maturity is advantageous, no particular background in logic or programming languages is required.

Do you believe the programmers who work at your company are wizards with magical abilities who can control your computer? It's true that anyone can learn to build programs, and you don't need a degree in math or science to get started.

Without going into technical jargon or challenging programming languages, this book explains how computer programming works. It examines the universal components of all computer programming languages as well as writing techniques for several operating systems, including Windows, Mac OS X, and Linux. You will find the resources you need in this simple-to-access guide to:

  • Create programs and divide them into subprograms
  • Develop variables and use constants
  • Manipulate strings and convert them into numbers
  • Use an array as storage space
  • Reuse and rewrite code
  • Isolate data
  • Create a user interface
  • Write programs for the Internet
  • Utilize JavaScript and Java Applets

Ebook Details

About the Authors
The University of Pennsylvania's Henry Salvatori Professor of Computer Science is Benjamin C. Pierce.
Published Date / Year
eBook Format

Similar Programming & Computer Books

Apprendre l'informatique sans ordinateur - Learn computer science without a computer
In this free programming book, the author describes how to Learn computer science without a computer.  
UML For The IT Business Analyst (Howard Podeswa)
Information technology business analysts are frequently involved in OO and UML projects nowadays, but they still have a ways to go before fully utilizing the technology beyond use cases...
UML Process (Sharam Hekmat)
Using object technology, the UML Procedure is a standardized process for creating software systems. This document's goal is to define the UML Process at a level appropriate for practitioners...
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design (Craig Larman)
This book provides a clear and useful introduction to using objects to think about and build systems that are well-built, reliable, and maintained. ...
UML Tutorial (Tutorialspoint)
Essential competencies for beginning programmers! Unified Modeling Language principles are explained in this user-friendly book (UML).  
Tcl/Tk Tutorial (Tutorials Point)
A multi-paradigm, general-purpose system programming language is Tcl. It is a scripting language with the goal of enabling apps to speak to one another. ...
Mastering Perl/Tk (Steve Lidie, et al)
Perl/Tk is a strong programming language that combines the Tk graphical toolkit with Perl, which is mostly used for system management, web development, and database processing. With Perl/Tk, you...
Tcl/Tk for Programmers: With Solved Exercises that Work with Unix and Windows (J. Adrian Zimmer)
The gaps between introductions, thorough manuals, and collections of scripts that address specific issues are filled by this introduction to Tcl/Tk. On both Windows and Unix platforms, there are...
Tcl Programming (Richard Suchenwirth)
This free programming book provides a thorough introduction to the that begins with the fundamentals before broadening its focus to cover the more complex ideas, features, and programming idioms...
Dictionary of Programming Languages (Neal Ziring)
The Dictionary of Programming Languages is an online reference guide to computer coding techniques put together to educate and enhance your understanding of computer science history. Over 120 words...

Others Programming Books by University of Pennsylvania

Stochastic Processes for Finance (Jonathan Block)
This book expands Probability for Finance to multi-period financial models that can be constructed using discrete or continuous time frames. It provides a pedagogical explanation of the most significant...

User reviews

There are no user reviews for this listing.
Rate this Book