R. Krishnaswamy

Formal Methodology of Translation. II. Capabilities and Limitations

Ramachandran Krishnaswamy, H. William Buttelmann, H. W. Buttelmann, 1978, Inf. Control..

Formal Methodology of Translation. I. Semantic Preserving Translations

Ramachandran Krishnaswamy, H. William Buttelmann, H. W. Buttelmann, 1978, Inf. Control..

Constructing Programs from Example Computations

Alan W. Biermann, Ramachandran Krishnaswamy, A. Biermann, 1976, IEEE Transactions on Software Engineering.

On the Correctness of Semantic-Syntax-Directed Translations

Arthur B. Pyster, Ramachandran Krishnaswamy, A. Pyster, 1980, JACM.