💡 Words with a Similar Meaning to "Control flow analysis"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| 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 variablenoun | (sciences) A factor that is held constant in a series of experiments in which other factors are varied |
| dynamic program analysis | the act of analyzing software that involves executing a program as opposed to static program analysis, which does not execute it. |
| 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. |
| program synthesis | In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. |
| checkstyle | a static code analysis tool used in software development for checking if Java source code is compliant with specified coding rules. |
| extended static checkingnoun | (software) A range of techniques used for statically checking the correctness of some program constraints. |
| control logic | — |
| control-flow diagram | A control-flow diagram is a diagram to describe the control flow of a business process, process or review. |
| separation logic | In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. |
| computer architecturenoun | (computer hardware) The conceptual structure around which a given computer is designed. |
| binary decision diagram | In computer science, a binary decision diagram or branching program is a data structure that is used to represent a Boolean function. |
| cppcheck | a static code analysis tool for the C and C++ programming languages. |
| computer programnoun | A complete piece of software. |
| sat solver | In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem. |
| pseudocodenoun | A description of a computer programming algorithm that uses the structural conventions of programming languages but omits detailed subroutines or language-specific syntax. |
| outline of computer science | Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. |
| declarative programmingnoun | (programming) a programming paradigm that expresses the logic of a computation instead of its control flow |
| source code control system | a version control system designed to track changes in source code and other text files during the development of a piece of software. |
Translate “Control flow analysis” into Another Language
Pick a language — the word will be pre-filled in the translator.