Programming Language Specification - Semantics - Natural Language

Natural Language

Most widely-used languages are specified using natural language descriptions of their semantics. This description usually takes the form of a reference manual for the language. These manuals can run to hundreds of pages, e.g., the print version of The Java Language Specification, 3rd Ed. is 596 pages long.

The imprecision of natural language as a vehicle for describing programming language semantics can lead to problems with interpreting the specification. For example, the semantics of Java threads were specified in English, and it was later discovered that the specification did not provide adequate guidance for implementors.

Read more about this topic:  Programming Language Specification, Semantics

Famous quotes containing the words natural and/or language:

    The Reverend Samuel Peters ... exaggerated the Blue Laws, but they did include “Capital Lawes” providing a death penalty for any child over sixteen who was found guilty of cursing or striking his natural parents; a death penalty for an incorrigible son; a law forbidding smoking except in a room in a private house; another law declaring smoking illegal except on a journey five miles away from home,...
    —Administration for the State of Con, U.S. public relief program (1935-1943)

    Denotation by means of sounds and markings is a remarkable abstraction. Three letters designate God for me; several lines a million things. How easy becomes the manipulation of the universe here, how evident the concentration of the intellectual world! Language is the dynamics of the spiritual realm. One word of command moves armies; the word liberty entire nations.
    Novalis [Friedrich Von Hardenberg] (1772–1801)