2 papers
cs.SE2026
Making Software Meaningful
Eagon Meng, Abutalib Namazov, Carmel Schare +2
Adopting a single measure can improve the usability, modularity and accountability of software: a commitment to explicit meaning. This entails constructing and agreeing upon a repr…
cs.SE2025
What You See Is What It Does: A Structural Pattern for Legible Software
Eagon Meng, Daniel Jackson
The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often "illegible" - lacking a direct…