CommunityNews
A Practical Theory of Programming (free)
You can download the book right here. It is 250 pages.
Contents
- Introduction
- Basic Theories
- Basic Data Structures
- Function Theory
- Program Theory
- Programming Language
- Recursive Definition
- Theory Design and Implementation
- Concurrency
- Interaction
- Exercises
- 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.
Popular General Dev topics
Developers hate estimation, and most managers fear disappointment with the results, but there is hope for both. Let go of the notion that...
New
Building a successful product usually involves teams of people, and the Scrum approach aids in creating the highest possible value. Imple...
New
Free and open source software is the default choice for the technologies that run our world, and it’s built and maintained by people like...
New
JavaScript has moved from being the language you love to hate to the language you need to use. And as JavaScript applications get more co...
New
Debug It! will equip you with the tools, techniques, and approaches to help you tackle any bug with confidence. These secrets of professi...
New
ANTLR is a parser generator: a program that generates code to translate a specified input language into a nice, tidy data structure. You ...
New
You can learn to be a better manager—even a great manager—with this guide. You’ll follow along as Sam, a manager just brought on board, l...
New
Learn how experienced Scrum masters balance the demands of servant leadership, while removing organizational impediments and helping Scru...
New
Go beyond mere project management and improve teamwork, communication, and predictability in open source development. Make meetings and s...
New
Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...
New
Other popular topics
Which, if any, games do you play? On what platform?
I just bought (and completed) Minecraft Dungeons for my Nintendo Switch. Other than ...
New
@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness.
https://f...
New
We have a thread about the keyboards we have, but what about nice keyboards we come across that we want? If you have seen any that look n...
New
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
Hello content creators! Happy new year. What tech topics do you think will be the focus of 2021? My vote for one topic is ethics in tech...
New
Small essay with thoughts on macOS vs. Linux:
I know @Exadra37 is just waiting around the corner to scream at me “I TOLD YOU SO!!!” but I...
New
Hi folks,
I don’t know if I saw this here but, here’s a new programming language, called Roc
Reminds me a bit of Elm and thus Haskell. ...
New
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
New
The File System Access API with Origin Private File System.
WebKit supports new API that makes it possible for web apps to create, open,...
New
Author Spotlight:
Bruce Tate
@redrapids
Programming languages always emerge out of need, and if that’s not always true, they’re defin...
New
Sponsor Spotlight
We build trusted fault-tolerant systems that scale to billions of users.
Categories:
Sub Categories:
- All
- In The News (10162)
- Dev Chat (200)
- Questions (32)
- Learning Resources
- Blogs/Talks (26)
- Jobs (3)
- Events (15)
- Code Editors (58)
- Hardware (57)
- Reviews (5)
- Sales (15)
- Design & UX (4)
- Marketing & SEO (1)
- Industry & Culture (14)
- Ethics & Privacy (19)
- Business (4)
- Learning Methods (4)
- Content Creators (7)
- DevOps & Hosting (9)
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /onivim
- /svelte
- /typescript
- /crystal
- /kotlin
- /c-plus-plus
- /tailwind
- /gleam
- /ocaml
- /react
- /elm
- /flutter
- /vscode
- /ash
- /opensuse
- /centos
- /php
- /deepseek
- /html
- /zig
- /scala
- /sublime-text
- /textmate
- /lisp
- /debian
- /nixos
- /react-native
- /agda
- /kubuntu
- /arch-linux
- /ubuntu
- /revery
- /django
- /spring
- /manjaro
- /nodejs
- /diversity
- /lua
- /julia
- /c
- /slackware
- /markdown
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"