9 citations · 26 across the 18 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
A similarity criterion for sequential programs using truth-preserving partial functions
Abhinav Aggarwal
The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such sta…
cs.LO2013
A theory of function-induced-orders to study recursion termination
Abhinav Aggarwal, Padam Kumar
Termination property of functions is an important issue in computability theory. In this paper, we show that repeated iterations of a function can induce an order amongst the eleme…