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

1 hour 33 min ago

1 day 23 hours ago

1 day 23 hours ago

1 day 23 hours ago

2 days 1 hour ago

2 days 20 hours ago

2 days 20 hours ago

2 days 22 hours ago

3 days 2 hours ago

3 days 9 hours ago