Zobrazeno 1 - 4
of 4
pro vyhledávání: '"REKURSIONSTHEORIE (MATHEMATIK)"'
Publikováno v:
Technical Report / ETH Zurich, Department of Computer Science, 773
Methodologies for static program verication and analysis often support recursive predicates in specications, in order to reason about recursive data structures. Intuitively, a predicate instance represents the complete unrolling of its denition; this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7537f6fcaf52e1ac5f57381615a5508c
