- procedure subprogram
- подпрограмма-процедура
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
subprogram — noun a set sequence of steps, part of larger computer program • Syn: ↑routine, ↑subroutine, ↑procedure, ↑function • Derivationally related forms: ↑procedural (for: ↑procedure) … Useful english dictionary
procedure — /preuh see jeuhr/, n. 1. an act or a manner of proceeding in any action or process; conduct. 2. a particular course or mode of action. 3. any given mode of conducting legal, parliamentary, or other business, esp. litigation and judicial… … Universalium
subprogram — /sub proh gram, greuhm/, n. Computers. procedure (def. 4b). [1955 60] * * * … Universalium
contingency procedure — noun an alternative to the normal procedure; triggered if an unusual but anticipated situation arises • Hypernyms: ↑routine, ↑subroutine, ↑subprogram, ↑procedure, ↑function … Useful english dictionary
cataloged procedure — noun a set of control statements that have been placed in a library and can be retrieved by name • Hypernyms: ↑routine, ↑subroutine, ↑subprogram, ↑procedure, ↑function • Part Holonyms: ↑library, ↑program library, ↑ … Useful english dictionary
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Subroutine — In computer science, a subroutine (function, method, procedure, or subprogram) is a portion of code within a larger program, which performs a specific task and can be relatively independent of the remaining code. The syntax of many programming… … Wikipedia
Structured programming — can be seen as a subset or subdiscipline of procedural programming, one of the major programming paradigms. It is most famous for removing or reducing reliance on the GOTO statement.Historically, several different structuring techniques or… … Wikipedia
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
Fortran language features — This is a comprehensive overview of features of the Fortran 95 language, the version supported by almost all existing Fortran compilers. Old features that have been superseded by new ones are not described few of those historic features are used… … Wikipedia
Structured program theorem — The structured program theorem is a result in programming language theory. It states that every computable function can be implemented in a programming language that combines subprograms in only three specific ways. These three control structures … Wikipedia