Efficient Algorithms for Abelian group isomorphism and related problems (2003)
Telikepalli, Kavitha, Pandya, Paritosh, Radhakrishnan, Jaikumar
An Approach to Verifiable Compiling Specification and Prototyping (2002)
Jonathan Bowen, He Jifeng, Paritosh Pandya
A compiler may be specified as a set of theorems, each describing how a construct in the programming language is translated into a sequence of machine instructions. The machine may be specified as an...
He Jifeng, Jonathan Bowen, Paritosh Pandya
A compiler is specified by a description of how each construct of the source language is translted into a sequence of object code instructions. The meaning of the object code can be defined by an...
An Approach to Verifiable Compiling Specification and Prototyping (1998)
Jonathan Bowen, He Jifeng, Paritosh Pandya
A compiler may be specified as a set of theorems, each describing how a construct in the programming language is translated into a sequence of machine instructions. The machine may be specified as an...
He Jifeng, Jonathan Bowen, Paritosh Pandya
A compiler is specified by a description of how each construct of the source language is translated into a sequence of object code instructions.