sabelfeld.pdf4.19 MB
In the paper two problems of semantic property analysis of recursion schemes are stated and a marking technique for solving these problems is described.
In the paper two problems of semantic property analysis of recursion schemes are stated and a marking technique for solving these problems is described.