program synthesis

From WikiWord, the free dictionary

English

Definitions

No definition found for “program synthesis”. Check the spelling, or try a related word.

Related words

Synonyms

formal specification computer programming formal methods sat solver compiler-compiler functional programming control flow analysis coinduction specification language logic synthesis systems programming software verification high-level programming language software design constraint programming gene expression programming

References