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:
DOI:
Issue
Pages:
43-53
File:
sabelfeld.pdf
(4.19 MB)