💡 Words with a Similar Meaning to "Program synthesis"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| formal specification | In computer science, formal specifications are mathematically based techniques whose purpose is to help with the implementation of systems and software. |
| computer programmingnoun | (programming) The process of designing, writing, testing, debugging, and maintaining the source code of computer programs. |
| formal methods | In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. |
| sat solver | In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem. |
| compiler-compiler | In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of formal description of a programming language and machine. |
| functional programmingnoun | (programming) Programming in a style that, in lieu of assignment, uses procedure calls to bind variables to values, so that referential transparency is preserved. |
| control flow analysis | — |
| coinductionnoun | (logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation |
| specification language | A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system. |
| logic synthesis | In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level, is turned into a design implementation in terms of logic gates, typically by a computer program called a synthesis tool. |
| systems programmingnoun | (computing) The activity of programming system software (e.g. operating systems, as opposed to applications). |
| software verification | a discipline of software engineering, programming languages, and theory of computation whose goal is to assure that software satisfies the expected requirements. |
| high-level programming language | In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer. |
| software design | the process of conceptualizing how a software system will work before it is implemented or modified. |
| constraint programming | a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer science, and operations research. |
| gene expression programming | In computer programming, gene expression programming is an evolutionary algorithm that creates computer programs or models. |
| symbolic execution | In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. |
| compilernoun | (software) A computer program that transforms source code into object code. |
| computer network programming | Computer network programming involves writing computer programs that enable processes to communicate with each other across a computer network. |
| computer programnoun | A complete piece of software. |
Translate “Program synthesis” into Another Language
Pick a language — the word will be pre-filled in the translator.