Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
Joseph R. Kiniry
Abstract
Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics. These properties are taken advantage of in system analysis, design, implementation, testing, and maintenance through the use of documentation and source-code transformation tools. Semantic properties are themselves specified at two levels: loosely with precise natural language, and formally within the problem domain. The refinement relationships between these specification levels, as well as between a semantic property's use and its realization in program code via tools, is specified with a new formal method for reuse called kind theory.
Create a lesson
Related papers
A Gated Spec-Driven Workflow: An Audit-Trail Study of Coding-Agent Work
Rodrigo Figueiredo Abdo, Pedro Carvalho Brom
Equal Access, Unequal Gains? GitHub Copilot and Productivity Among Developers with Disabilities
Emeralda Sesari, Daria Ana-Maria Mogoş, Federica Sarro et al.
One Strategy Does Not Fit All: Rethinking Data Labeling for Just-in-Time Vulnerability Prediction
Quan Tran, Duong Nguyen, Thanh Le-Cong et al.
Reproducibility in open-source RISC-V HW flows
Peter Kourzanov, Anmol Anmol
Who Is Doing the Thinking? Characterising Human Agency in First-Year Students' AI Interactions
Ali Shakiba, Thomas Chaffey
RESTberus: Trace-Aware Benchmarking of Automated REST API Testing Tools Across Microservice Dependencies
John Toniutti, Massimiliano Baldo, Marino Miculan et al.