(Or “parameter”) A name in a function or subroutine definition that is replaced by, or bound to, the corresponding actual argument when the function or subroutine is called. In many languages formal arguments behave like local variables which get initialised on entry.
[fawr-muh l] /ˈfɔr məl/ noun, Aristotelianism. 1. See under (def 8b). [kawz] /kɔz/ noun 1. a person or thing that acts, happens, or exists in such a way that some specific thing happens as a result; the producer of an effect: You have been the cause of much anxiety. What was the cause of the […]
- Formal description technique
specification, protocol (FDT) A formal method for developing telecomunications services and protocols. FDTs range from abstract to implementation-oriented descriptions. All FDTs offer the means for producing unambiguous descriptions of OSI services and protocols in a more precise and comprehensive way than natural language descriptions. They provide a foundation for analysis and verification of a description. […]
[fawr-mal-duh-hahyd, fer-] /fɔrˈmæl dəˌhaɪd, fər-/ noun, Chemistry. 1. a colorless, toxic, potentially carcinogenic, water-soluble gas, CH 2 O, having a suffocating odor, usually derived from methyl alcohol by oxidation: used chiefly in aqueous solution, as a disinfectant and preservative, and in the manufacture of various resins and plastics. /fɔːˈmældɪˌhaɪd/ noun 1. a colourless poisonous irritating […]
- Formal equivalence
noun 1. (logic) the relation that holds between two open sentences when their universal closures are materially equivalent