For 100 years, Ireland’s Abbey Theatre has shown that a publicly funded troupe can deliver cultural riches and hard truths.

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...