| Autor: |
M. S. Powell, J. W. Hughes |
| Rok vydání: |
1982 |
| Předmět: |
|
| Zdroj: |
Program Specification ISBN: 9783540114901 |
| DOI: |
10.1007/3-540-11490-4_6 |
| Popis: |
A method of program specification is described which leads naturally to the expression of a program as a network of simple processes. Starting with the problem statement the valid inputs and outputs of the system are specified by grammars which represent the structure of the input and output streams of a "black-box" which can be decomposed hierarchically into a structured network of processes which performs the required transformations. Three forms of network structure are described, analagous to the three forms of control in sequential programs. The leaves of the hierarchical description are sequential processes described by a form of attributed translation grammar which permits the specification of semantic as well as syntactic transformations. The notation can be used to specify programs which may be implemented either in conventional programming languages or by direct compilation of the DTL notation. The method is illustrated by application to the KWIC index workshop example. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
