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:

    PLAYING SHOULD BE FUN! In our great eagerness to teach our children we studiously look for “educational” toys, games with built-in lessons, books with a “message.” Often these “tools” are less interesting and stimulating than the child’s natural curiosity and playfulness. Play is by its very nature educational. And it should be pleasurable. When the fun goes out of play, most often so does the learning.
    Joanne E. Oppenheim (20th century)

    Theoretically, I grant you, there is no possibility of error in necessary reasoning. But to speak thus “theoretically,” is to use language in a Pickwickian sense. In practice, and in fact, mathematics is not exempt from that liability to error that affects everything that man does.
    Charles Sanders Peirce (1839–1914)