This paper is an attempt to direct present-day research in programming language specification and their compiler construction towards a more natural approach. In order to do that, a language is considered for what it is, namely a communication device between systems. In view of this evidence, the first section of the paper develops a framework for the natural specification of language. Section two of the paper develops the HAS-Hierarchy as a device to be used in this natural language specification. Section three of the paper constructs a general model for programming language specification by the HAS-Hierarchy. Section four is devoted to the problem of compiler construction by using the HAS-Hierarchy as a natural tool for programming language specification.
Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification