Software abstractions
by Daniel Jackson · first published 2012
5mentions
3recommended by
4HN commenters
2015–2026first – last mentioned
75% recommend25% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
If anyone is interested in learning more about Alloy, I would recommend this book by the author, Daniel Jackson - "Software Abstractions" - https://www.amazon.com/Software-Abstractions-Logic-Language-...
on “Proving My Compiler Code Incorrect with Alloy” ↗…step-by-step textbook) so use this as a map for everything "Formal". The S/N ratio is very high (~250 pages only!) so use AI/Textbooks to help explain concepts you find difficult to understand. Practical: 1) Software Abstractions: Logic, Language, and Analysis by Daniel Jackson - Uses "Alloy" language to teach Structural (i.e. Data) Modeling. 2) Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers…
on “AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura” ↗Alloy (and the philosophy it is based on) is explained in Daniel Jackson's book <<Software Abstractions>>, which is a very nice book to read on techniques of specification and verification (at the specification level).
on “Alloy*: A Higher-Order Relational Constraint Solver” ↗I bought Daniel Jackson's book Software Abstractions: Logic, Language and Analysis. It thoroughly discusses all aspects of Alloy software and methodology. I have to say it is one of the best software book I've ever read. It covers relational modelling thoroughly…
on “Alloy: A Language and Tool for Relational Models” ↗I watched that earlier this week, and have been making my way through the Software Abstractions book by Jackson. Alloy's still in the "this thing makes me feel stupid" territory, but it does feel learn-able to me. I really like the emphasis on iterative development.
on “Alloy is a language for describing structures and a tool for exploring them” ↗