プログラム合成
1. Program synthesisProgram synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The idea is to present human-understandable task specifications to a computer system and receive in return a program that is known to meet the specifications submitted. The goal is, thus, to automatically construct a program that provably satisfies a given high-level specification.
Read “Program synthesis” on English Wikipedia
Read “プログラム合成” on Japanese Wikipedia
Read “Program synthesis” on DBpedia
Read “Program synthesis” on English Wikipedia
Read “プログラム合成” on Japanese Wikipedia
Read “Program synthesis” on DBpedia
Discussions
Log in to talk about this word.