Deductive program synthesis
Deductive program synthesis
Method of automatic generation of programs from formal specifications using logical deduction rules to transform preconditions and postconditions into executable code.
← Terug