Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Strict_function> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Strict_function abstract "A strict function in the denotational semantics of programming languages is a function f where . The entity , called bottom, denotes an expression which does not return a normal value, either because it loops endlessly or because it aborts due to an error such as division by zero. A function which is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict.Intuitively, non-strict functions correspond to control structures. Operationally, a strict function is one which always evaluates its argument; a non-strict function is one which may not evaluate some of its arguments. Functions having more than one parameter may be strict or non-strict in each parameter independently, as well as jointly strict in several parameters simultaneously.As an example, the if-then-else expression of many programming languages may be thought of as a function of three parameters. This function is strict in its first parameter, since the function must know whether its first argument evaluates to true or to false before it can return; but it is non-strict in its second parameter, because (for example) if(false,,1) = 1, as well as non-strict in its third parameter, because (for example) if(true,2,) = 2. However, it is jointly strict in its second and third parameters, since if(true,,) = and if(false,,) = .In a non-strict functional programming language, strictness analysis refers to any algorithm used to prove the strictness of a function with respect to one or more of its arguments. Such functions can be compiled to use a more efficient calling convention without changing the meaning of the enclosing program.".
- Strict_function wikiPageID "319252".
- Strict_function wikiPageRevisionID "603203513".
- Strict_function hasPhotoCollection Strict_function.
- Strict_function subject Category:Denotational_semantics.
- Strict_function subject Category:Evaluation_strategy.
- Strict_function subject Category:Formal_methods.
- Strict_function type Ability105616246.
- Strict_function type Abstraction100002137.
- Strict_function type Cognition100023271.
- Strict_function type FormalMethods.
- Strict_function type Know-how105616786.
- Strict_function type Method105660268.
- Strict_function type PsychologicalFeature100023100.
- Strict_function comment "A strict function in the denotational semantics of programming languages is a function f where . The entity , called bottom, denotes an expression which does not return a normal value, either because it loops endlessly or because it aborts due to an error such as division by zero. A function which is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict.Intuitively, non-strict functions correspond to control structures.".
- Strict_function label "Strict function".
- Strict_function label "Strikte Funktion".
- Strict_function sameAs Strikte_Funktion.
- Strict_function sameAs m.01v93_.
- Strict_function sameAs Q2356294.
- Strict_function sameAs Q2356294.
- Strict_function sameAs Strict_function.
- Strict_function wasDerivedFrom Strict_function?oldid=603203513.
- Strict_function isPrimaryTopicOf Strict_function.