CommunityNews

CommunityNews

A Practical Theory of Programming (free)

You can download the book right here. It is 250 pages.

Contents

  1. Introduction
  2. Basic Theories
  3. Basic Data Structures
  4. Function Theory
  5. Program Theory
  6. Programming Language
  7. Recursive Definition
  8. Theory Design and Implementation
  9. Concurrency
  10. Interaction
  11. Exercises
  12. Reference

Read in full here:

http://www.cs.toronto.edu/~hehner/aPToP/

This thread was posted by one of our members via one of our news source trackers.

Where Next?

Popular General Dev topics Top

PragmaticBookshelf
Developers hate estimation, and most managers fear disappointment with the results, but there is hope for both. Let go of the notion that...
New
PragmaticBookshelf
Andy and Dave wrote this influential, classic book to help their clients create better software and rediscover the joy of coding. Almost ...
New
PragmaticBookshelf
Successful technical blogging is not easy but it’s also not magic. Use these techniques to attract and keep an audience of loyal, regular...
New
PragmaticBookshelf
An “out-of-the-box” agile approach won’t work for your unique situation. Instead, unite agile and lean principles to design a custom appr...
New
PragmaticBookshelf
You have a database console, web server, test runner, and text editor running at the same time, but switching between them and trying to ...
New
PragmaticBookshelf
You need to get value from your software project. This book leads you from the desire for value down to the specific activities that help...
New
PragmaticBookshelf
Why do Roman numerals persist? How do we know that some infinities are larger than others? And how can we know for certain a program will...
New
PragmaticBookshelf
You have so much you need to accomplish today. Your list is a mile long and you find yourself getting interrupted every other minute. You...
New
PragmaticBookshelf
Pragmatic programmers use feedback to drive their development and personal processes. The most valuable feedback you can get while coding...
New
PragmaticBookshelf
Become a great manager by leading and serving others. Johanna Rothman @jrothman This work was written and produced entirely by the ...
New

Other popular topics Top

New
PragmaticBookshelf
Brace yourself for a fun challenge: build a photorealistic 3D renderer from scratch! In just a couple of weeks, build a ray tracer that r...
New
DevotionGeo
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
New
AstonJ
poll poll Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
New
New
AstonJ
Do the test and post your score :nerd_face: :keyboard: If possible, please add info such as the keyboard you’re using, the layout (Qw...
New
DevotionGeo
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
New
PragmaticBookshelf
Build modern server-driven web applications using htmx. Whatever programming language you use, you’ll write less (and cleaner) code. ...
New
AstonJ
If you’re getting errors like this: psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
New
PragmaticBookshelf
A concise guide to MySQL 9 database administration, covering fundamental concepts, techniques, and best practices. Neil Smyth MySQL...
New