Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Qualification_principle> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Qualification_principle 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. (Watt 1990)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: 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: 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:".
- Qualification_principle wikiPageID "17246195".
- Qualification_principle wikiPageLength "2229".
- Qualification_principle wikiPageOutDegree "6".
- Qualification_principle wikiPageRevisionID "682913919".
- Qualification_principle wikiPageWikiLink C_(programming_language).
- Qualification_principle wikiPageWikiLink Category:Articles_with_example_code.
- Qualification_principle wikiPageWikiLink Category:Programming_language_theory.
- Qualification_principle wikiPageWikiLink ML_(programming_language).
- Qualification_principle wikiPageWikiLink Programming_language_theory.
- Qualification_principle wikiPageWikiLinkText "Qualification principle".
- Qualification_principle hasPhotoCollection Qualification_principle.
- Qualification_principle wikiPageUsesTemplate Template:Cite_book.
- Qualification_principle wikiPageUsesTemplate Template:Compu-lang-stub.
- Qualification_principle wikiPageUsesTemplate Template:Compu-sci-stub.
- Qualification_principle wikiPageUsesTemplate Template:Harv.
- Qualification_principle subject Category:Articles_with_example_code.
- Qualification_principle subject Category:Programming_language_theory.
- Qualification_principle type Area.
- Qualification_principle type Article.
- Qualification_principle type ProgrammingLanguage.
- Qualification_principle type Software.
- Qualification_principle type Work.
- Qualification_principle type Area.
- Qualification_principle type Article.
- Qualification_principle type CreativeWork.
- Qualification_principle type Thing.
- Qualification_principle type Q386724.
- Qualification_principle type Q7397.
- Qualification_principle type Q9143.
- Qualification_principle 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. (Watt 1990)A common examples for of this principle includes: block command -- a command containing a local declaration, which is used only for executing this command.".
- Qualification_principle label "Qualification principle".
- Qualification_principle sameAs m.043m7hw.
- Qualification_principle sameAs Q7268635.
- Qualification_principle sameAs Q7268635.
- Qualification_principle wasDerivedFrom Qualification_principle?oldid=682913919.
- Qualification_principle isPrimaryTopicOf Qualification_principle.