Author: MacGregor, Ken
Similar Items: Specification and implementation of the Larch shared language
- Automated formalisation of informal specifications by combining LLMs and grammar-based language processing
- HOOD : a Higher-Order Object-Oriented Database model and its implementation
- The impact of using a contract-driven, test-interceptor based software development approach
- Exploiting persistence in CASE technology
- An Estelle compiler
- A multi-language perspective on the robustness of LLM code generation