Logic for Programmers New Release and Next Steps
16 hours ago
- v0.13 of Logic for Programmers is now available with 20% more content, totaling over 50,000 words.
- Every chapter has been rewritten; the Alloy chapter now focuses on domain modeling instead of data modeling.
- Increased connections between chapters and themes such as the expressiveness-guarantees tradeoff and compatibility (Liskov substitution, database migrations, API changes, specification refinement).
- New topics include structural and metamorphic properties in testing, proof by induction, and answer set programming in logic programming.
- All content is now included; the manuscript has been sent to a copy editor to prevent further additions.
- Next steps involve finding a technical reviewer and proofreader, fixing layout, and finding a printer with a goal of a physical book before summer.
- Seeking testimonials from notable people without conflicts of interest.
- Upcoming 2026 conferences: QCon London (March), Craft Conference (June), Software Should Work (July), and Houston Functional Programmers (December).