Project Golden Gate: addressing the challenges of space mission software
Explore the source record for details and available documents.
real-time Java performance Mission Data System↗
Engineering topics
Reinholtz, W. K.
Publications and source records attributed to Reinholtz, W. K..
An Automatic Code Synthesizer
This paper describes the design and architecture fo an automatic code sysnthesizer we call the ACG. The input to the ACG is a list of facts that must hold for the generated code, along with domain-specific knowledge (design rules and patterns).
programming programming code programming productiv↗