Scaling Synthesis

Search IconIcon to open search

flexible compression

Last updated May 13, 2022

Authored by:: Brendan Langen

Compression and contextualizability are both are needed for synthesis. Flexible compression aims to be lossless to ensure context is retained through transclusion. Yet, this is often difficult, because Compression and contextualizability are in tension.

When we are viewing something at different levels of abstraction, we are bound to miss certain details. Thus, we ask What is an interface for going up and down the ladder of abstraction?