# Building High Integrity Applications with SPARK by John W. McCormick and Peter C. Chapin

3 Hacker News commenters recommended Building High Integrity Applications with SPARK by John W. McCormick and Peter C. Chapin and 0 criticized it, November 2025 to November 2026. It was recommended in 3 of 13 months.

**Verdict:** People recommend it for complete examples and in-depth explanations of SPARK concepts for building high-integrity software.

## Why people recommend it

- Complete examples and in-depth concepts (1 comments): "It contains complete examples, and explains the concepts pretty much in depth." ([source](https://news.ycombinator.com/item?id=47285845))

## Alternatives hackers recommend

- [Crafting Interpreters by Robert Nystrom](https://hackerapproved.com/p/crafting-interpreters.md): 60 recommend
- [Clean Code by Robert C. Martin](https://hackerapproved.com/p/clean-code.md): 31 recommend
- [The Pragmatic Programmer by Hunt and Thomas](https://hackerapproved.com/p/pragmatic-programmer.md): 28 recommend
- [How to Design Programs by Felleisen, Findler, Flatt and Krishnamurthi](https://hackerapproved.com/p/how-to-design-programs.md): 18 recommend
- [Mastering Emacs by Mickey Petersen](https://hackerapproved.com/p/mastering-emacs.md): 17 recommend

## Where to get it

- [See price on Amazon](https://www.amazon.com/dp/1316371387?tag=hackerapprove-20) (affiliate link)
- [Bookshop.org](https://bookshop.org/a/130825/9781316371381) (affiliate link)

## Cite as

Hacker Approved, "Building High Integrity Applications with SPARK by John W. McCormick and Peter C. Chapin", https://hackerapproved.com/p/building-high-integrity-applications-with-spark/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).