Qualification Principle

Qualification Principle

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.wikiref | id=watt | text=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 declarared local to 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

References

* cite book
last= Watt
first= David A.
authorlink= David Watt
title= Programming Language Concepts and Paradigms
origyear= 1990
origmonth= 5
publisher= Prentice Hall
isbn= 0-13-728874-3
pages= pp. 82-83
chapter= Bindings


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Principle of sufficient reason — The principle of sufficient reason (also called the Causal Doctrine) states that anything that happens does so for a definite reason. In virtue of which no fact can be real or no statement true unless it has sufficient reason why it should be… …   Wikipedia

  • Cosmological principle — See also: Friedmann Lemaître Robertson Walker metric and Large scale structure of the cosmos Physical cosmology …   Wikipedia

  • International Qualification Examination — The International Qualification Examination (IQEX) is an examination set by certain non U.S. qualified accountants seeking the Certified Public Accountant designation in the United States.The examination is set by the American Institute of… …   Wikipedia

  • Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… …   History of philosophy

  • Judicial system of the People's Republic of China — For the Ministry of Justice, see Ministry of Justice of the People s Republic of China. People s Republic of China This article is part of the series: Politics and government of …   Wikipedia

  • Kant’s moral and political philosophy — Don Becker Practical philosophy, for Kant, is concerned with how one ought to act. His first important work in practical philosophy, Foundations of the Metaphysics of Morals, provides Kant’s argument for the fundamental principle of how one ought …   History of philosophy

  • Deontological ethics — Deontic redirects here. For the linguistic term, see Linguistic modality. Deontological ethics or deontology (from Greek deon, obligation, duty ; and logia) is an approach to ethics that judges the morality of an action based on the action s… …   Wikipedia

  • education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… …   Universalium

  • Mill, John Stuart: Ethics and politics — J.S.Mill Ethics and politics R.F.Khan ON LIBERTY John Stuart Mill’s mature views on ethics and politics are to be found in On Liberty (published in 1859), Utilitarianism (1861), Considerations on Representative Government (1861) and The… …   History of philosophy

  • The Seal of Confession —     The Law of the Seal of Confession     † Catholic Encyclopedia ► The Law of the Seal of Confession     In the Decretum of the Gratian who compiled the edicts of previous councils and the principles of Church law which he published about 1151,… …   Catholic encyclopedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”