The CLAY project will develop a new programming model and development environment for the interactive construction and evolution of trustworthy software systems “as live artifacts”. Following a disruptive vision that raises exciting challenges to programming language design, incremental verification, and usability. (…) This project builds on a radically new vision to approach these familiar issues of software construction and evolution, and will rely on a series of solid foundational and technological contributions to prove the concept.
