Imperative" languages may not be the right medium to work in this direction as these have a complex body lacking the solid foundation of computational mathematics. With the announcement of yet another such language, there is a further addition of various new language constructs thereby only helping to build up the confusion. On the other hand, functional languages are based upon a solid foundation and produce programs which are semantically very clear. These language, however, have not found favor with the computing community primarily because these are not history sensitive apart from being inefficient to run on presently available computers. An appearling alternative has been proposed by Backus in terms of an applicative language independent of the lambda calculus and possessing history sensitivity by means of a loose coupling between computation and the state (of the store). In this paper, we pick up his ideas and work up a computation scheme which introduces an amount of abstraction in the representation of variables. Specifically, we do not bind a variable to a particular value to the declared type, but rather we assign limits to the values of the variable. These limits are changeable and depend upon the available semantic information. It is observed that such a scheme can exploit the potentials of working at higher levels, notable among which in this particular scheme is, the possibility of considerable increase in the speed of computation." />


A Hierarchical Computation Scheme

A. K. CHAKRAVARTY  Tadao NAKAMURA  Yoshiharu SHIGEI  

Publication
IEICE TRANSACTIONS (1976-1990)   Vol.E68   No.7   pp.484-491
Publication Date: 1985/07/25
Online ISSN: 
DOI: 
Print ISSN: 0000-0000
Type of Manuscript: PAPER
Category: Computation Scheme
Keyword: 


Full Text: PDF>>
Buy this Article




Summary: 
In recent years a lot of attention has been focused on writing error-free programs in an easily readable and understandable manner. It is also recognized that the so called von Neumann" or Imperative" languages may not be the right medium to work in this direction as these have a complex body lacking the solid foundation of computational mathematics. With the announcement of yet another such language, there is a further addition of various new language constructs thereby only helping to build up the confusion. On the other hand, functional languages are based upon a solid foundation and produce programs which are semantically very clear. These language, however, have not found favor with the computing community primarily because these are not history sensitive apart from being inefficient to run on presently available computers. An appearling alternative has been proposed by Backus in terms of an applicative language independent of the lambda calculus and possessing history sensitivity by means of a loose coupling between computation and the state (of the store). In this paper, we pick up his ideas and work up a computation scheme which introduces an amount of abstraction in the representation of variables. Specifically, we do not bind a variable to a particular value to the declared type, but rather we assign limits to the values of the variable. These limits are changeable and depend upon the available semantic information. It is observed that such a scheme can exploit the potentials of working at higher levels, notable among which in this particular scheme is, the possibility of considerable increase in the speed of computation.