Abstract
In the paper two problems of semantic property analysis of recursion schemes are stated and a marking technique for solving these problems is described.
Keywords
File
sabelfeld.pdf4.19 MB
Pages
43-53