About: Qualification principle

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

About: Qualification principle Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/A24QCUNiai

In programming language theory, the qualification principle states that any semantically meaningful syntactic class may admit local definitions. In other words, it's possible to include a block in any syntactic class, provided that the phrases of that class specify some kind of computation. A common examples for of this principle includes:

Attributes	Values
rdf:type	Thing language schema:Language Language Programming language programming language
rdfs:label	Qualification principle (en)
rdfs:comment	In programming language theory, the qualification principle states that any semantically meaningful syntactic class may admit local definitions. In other words, it's possible to include a block in any syntactic class, provided that the phrases of that class specify some kind of computation. A common examples for of this principle includes: (en)
dct:subject	Articles with example code Programming language theory
Wikipage page ID	17246195 (xsd:integer)
Wikipage revision ID	956140927 (xsd:integer)
Link from a Wikipage to another Wikipage	Articles with example code ML (programming language) Programming language theory C (programming language) Programming language theory
sameAs	Qualification principle Qualification principle Qualification principle
dbp:wikiPageUsesTemplate	dbt:Compu-sci-stub dbt:Cite_book dbt:Harv dbt:Compu-lang-stub
has abstract	In programming language theory, the qualification principle states that any semantically meaningful syntactic class may admit local definitions. In other words, it's possible to include a block in any syntactic class, provided that the phrases of that class specify some kind of computation. A common examples for of this principle includes: * block command -- a command containing a local declaration, which is used only for executing this command. In the following excerpt from a C program, tmp variable declared is local to the surrounding block command:if (a > b) { int tmp; tmp = a; a = b; b = tmp;} * block expression -- an expression containing a local declaration, which is used only for evaluating this expression. In the following excerpt from ML program, local declaration of g can be used only during evaluation of the following expression:let val g = 9.8in m * g * hend * block declaration is one containing a local declaration, the bindings produced by which are used only for elaborating the block declaration. In the following excerpt from ML program, local declaration of function leap, using an auxiliary function multiple:local fun multiple (n: int, d: int) = (n mod d = 0)in fun leap (y: int) = (multiple (y,4) andalso not multiple (y, 100)) orelse multiple (y,400) end (en)
prov:wasDerivedFrom	wikipedia-en:Qualification_principle?oldid=956140927&ns=0
page length (characters) of wiki page	2283 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Qualification_principle
is Link from a Wikipage to another Wikipage of	Qualification Principle Qualification
is Wikipage redirect of	Qualification Principle
is Wikipage disambiguates of	Qualification
is foaf:primaryTopic of	wikipedia-en:Qualification_principle

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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