6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.SE2026
Specifications for Humans, Agents, and Tooling
Mark Marron
Specifications are the central mechanism for communicating intents, requirements, and constraints in software development. When they are explicit, clear, and reliable, they are an…
cs.PL2024★ 6 cited
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
Mark Marron
Integration, composition, mechanization, and AI assisted development are the driving themes in the future of software development. At their core these concepts are rooted in the in…
cs.SE2024★ 5 cited
A New Generation of Intelligent Development Environments
Mark Marron
The practice of programming is undergoing a revolution with the introduction of AI assisted development (copilots) and the creation of new programming languages that are designed e…