Unfold/fold transformations for automated verification of parameterized concurrent systems

بواسطة Roychoudhury, A., Ramakrishnan, C.R.
منشور في 2013

Beyond tamaki-sato style unfold/fold transformations for normal logic programs

بواسطة Roychoudhury, A., Narayan Kumar, K., Ramakrishnan, C.R., Ramakrishnan, I.V.
منشور في 2014

An unfold/fold transformation framework for definite logic programs

بواسطة Roychoudhury, A., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V.
منشور في 2013