Zobrazeno 1 - 1
of 1
pro vyhledávání: '"DottaMirco"'
Publikováno v:
POPL
We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a22cc84f87f0689bcbb23a1937b34922
https://doi.org/10.1145/1706299.1706325
https://doi.org/10.1145/1706299.1706325
