VDict - Definition of formal argument

search result for formal argument in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

linear argument formal argument actual argument argument alpha conversion bound variable inline param parameter Hyperstrict thunk call-by-reference strict projection scanf FORMAL tail-strict referential transparency modulo operator comma call-by-name command line option function application FSL Formal Description Technique map Language Of Temporal Ordering Specification Estelle formal methods strict evaluation call-by-value-result pattern matching unary safe beta abstraction beta reduction macro lclint applicative order reduction De Bruijn notation dereference lambda abstraction eager evaluation union type inference generic type variable ontology curried function gripenet FDT operand TM inspection SMoLCS term rewriting system OBSCURE Eva EML undefined external reference Pam ALEPH software reliability math-out parser generator FORML ASPLE complete theory operational test and evaluation Formal Object Role Modeling Language FFP EPROS TL/I SmallVDM arity COLD-K arg formal review lobotomy characteristic function me too

First < Previous 1 2 3 Next > Last