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
Author: MacGregor, Ken
- Specification and verification of context conditions for programming languages
- Using CAMAC hardware for access to a particle accelerator
- Incompatibility of lognormal forward-Libor and Swap market models
- Mapping the vegetation of the fynbos biome with the aid of Landsat imagery
- Utilisation of readily available information and communication technologies in cattle management in Kgatleng and south east districts in Botswana
- Implementing the reliable data protocol on a Java enabled mobile device