About: Strict function

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Strict function Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFormalMethods, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FStrict_function

In computer science and computer programming, a function f is said to be strict if, when applied to a non-terminating expression, it also fails to terminate. A strict function in the denotational semantics of programming languages is a function f where . The entity , called bottom, denotes an expression that 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 that is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict.

Attributes	Values
rdf:type	yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFunctionalLanguages yago:WikicatFormalMethods
rdfs:label	Strikte Funktion (de) Strict function (en)
rdfs:comment	In der Informatik heißt eine einstellige Funktion strikt, wenn gilt:Ist ihr Argument undefiniert , so ist das Funktionsresultat ebenfalls undefiniert.Also wenn: . Eine mehrstellige Funktion kann jeweils in einzelnen Argumenten oder in allen Argumenten strikt sein. Sind alle Argumente strikt, dann ist die Funktion strikt. (de) In computer science and computer programming, a function f is said to be strict if, when applied to a non-terminating expression, it also fails to terminate. A strict function in the denotational semantics of programming languages is a function f where . The entity , called bottom, denotes an expression that 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 that is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict. (en)
dcterms:subject	Denotational semantics Formal methods Evaluation strategy
Wikipage page ID	319252 (xsd:integer)
Wikipage revision ID	985184858 (xsd:integer)
Link from a Wikipage to another Wikipage	Non-strict programming language Denotational semantics Call by value Short-circuit evaluation Function (computer programming) Function (mathematics) Bottom type Calling convention Strict programming language Computer programming Computer science Functional programming Denotational semantics Eager evaluation Lazy evaluation Evaluate Parameter Formal methods Evaluation strategy Programming language Strictness analysis Control structure Compilation (programming)
sameAs	Strict function Strict function Strict function Strict function Strict function
dbp:wikiPageUsesTemplate	dbt:Refimprove dbt:Reflist
has abstract	In der Informatik heißt eine einstellige Funktion strikt, wenn gilt:Ist ihr Argument undefiniert , so ist das Funktionsresultat ebenfalls undefiniert.Also wenn: . Eine mehrstellige Funktion kann jeweils in einzelnen Argumenten oder in allen Argumenten strikt sein. Sind alle Argumente strikt, dann ist die Funktion strikt. (de) In computer science and computer programming, a function f is said to be strict if, when applied to a non-terminating expression, it also fails to terminate. A strict function in the denotational semantics of programming languages is a function f where . The entity , called bottom, denotes an expression that 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 that 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 that always evaluates its argument; a non-strict function is one that might not evaluate some of its arguments. Functions having more than one parameter can 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, called ?: in languages inspired by C, 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, $\perp$ ,1) = 1, as well as non-strict in its third parameter, because (for example) if(true,2, $\perp$ ) = 2. However, it is jointly strict in its second and third parameters, since if(true, $\perp$ , $\perp$ ) = $\perp$ and if(false, $\perp$ , $\perp$ ) = $\perp$ . 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 a more efficient calling convention, such as call by value, without changing the meaning of the enclosing program. (en)
prov:wasDerivedFrom	wikipedia-en:Strict_function?oldid=985184858&ns=0
page length (characters) of wiki page	2867 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Strict_function
is Link from a Wikipage to another Wikipage of	Non-strict function Ωmega Short-circuit evaluation Strict programming language Function-level programming Strict (disambiguation) Haskell Boolean algebras canonically defined Macro (computer science) FP (programming language) Strictness analysis Evaluation strategy Parametricity Strict semantics
is Wikipage redirect of	Non-strict function Strict semantics
is Wikipage disambiguates of	Strict (disambiguation)
is foaf:primaryTopic of	wikipedia-en:Strict_function

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software