This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Case Study in Program Transformation: Translation into Polish
November 1979 (vol. 5 no. 6)
pp. 593-606
J. Cohen, Department of Physics, Brandeis University
Program transformation is used to show the correspondence between two known algorithms for translating parenthesized expressions into their polish counterparts. The first algorithm is a syntax-directed translator which produces output upon the recognition of predefined syntactic rules. The second one, suggested by Dijkstra, is of empirical nature: it performs the translation by simulating the operation of a railyard shunt. The second algorithm is more efficient than the first, but less general. This work enables one 1) to assert the correctness of the empirical algorithm, 2) to compare the relative efficiencies of the two algorithms, and 3) to gain insight into the circumstances in which syntax-directed translation may be improved by generalizing the ideas involved in Dijkstra's algorithm.
Index Terms:
syntax-directed translation, Analyses of algorithms, Dijkstra's algorithm, optimization, program transformation
Citation:
J. Cohen, R. Sitver, "A Case Study in Program Transformation: Translation into Polish," IEEE Transactions on Software Engineering, vol. 5, no. 6, pp. 593-606, Nov. 1979, doi:10.1109/TSE.1979.230195
Usage of this product signifies your acceptance of the Terms of Use.