Software Abstractions

Logic, Language, and Analysis

Daniel Jackson

Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. The designer can use automated analysis not only to correct errors but also to make models that are more precise and elegant. This approach, Jackson says, can rescue designers from "the tarpit of implementation technologies" and return them to thinking deeply about underlying concepts.

Previously on LtU

## Recent comments

21 hours 58 min ago

1 day 2 hours ago

2 days 2 hours ago

2 days 4 hours ago

2 days 10 hours ago

3 days 3 hours ago

3 days 12 hours ago

3 days 23 hours ago

4 days 31 min ago

4 days 40 min ago