Zobrazeno 1 - 2
of 2
pro vyhledávání: '"D'Silva, Vijay Victor"'
Autor:
D'Silva, Vijay Victor
Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theor
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322
Autor:
D'Silva, V, D'Silva, Vijay Victor
Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::5a67a91007fe76ce102a9cd625de9427
https://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003
https://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003