Zobrazeno 1 - 10
of 12 582
pro vyhledávání: '"Postcondition"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Nykyforchyn, Oleh, Repovš, Dušan
Publikováno v:
Fuzzy Sets and Systems 208 (2012), 67-78
For a completely distributive quantale $L$, $L$-fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are linear or affine continuous mappings between continuous $L$-idempotent s
Externí odkaz:
http://arxiv.org/abs/1209.5224
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Nykyforchyn, Oleh, Repovš, Dušan
Publikováno v:
In Fuzzy Sets and Systems 1 December 2012 208:67-78
Publikováno v:
QRS
It is challenging to generate loop invariants for programs automatically in the field of software analysis and verification. Loop invariants are the weakened forms of the postconditions for loops. Therefore, we propose PBLInv, a postcondition-based a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6592717d9fb60a33cd9c6578acf42b3d
https://doi.org/10.1109/qrs51102.2020.00013
https://doi.org/10.1109/qrs51102.2020.00013
Publikováno v:
Progress in Modern Biomedicine. Dec2015, Vol. 15 Issue 36, p7033-7036. 4p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sara Kalvala, Eleanor Davies
Publikováno v:
CC
Tree transformations are commonly used in applications such as program rewriting in compilers. Using a series of simple transformations to build a more complex system can make the resulting software easier to understand, maintain, and reason about. F
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c06ef7463b0cf4320c68d24bc155c77e
http://wrap.warwick.ac.uk/134073/1/WRAP-postcondition-preserving-fusion-postorder-tree-transformations-Davies-2020.pdf
http://wrap.warwick.ac.uk/134073/1/WRAP-postcondition-preserving-fusion-postorder-tree-transformations-Davies-2020.pdf
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Butterfield, Andrew, Ngondi, Gerard Ekembe, Kerr, Anne
Publikováno v:
A Dictionary of Computer Science, 7 ed., 2016.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780199688975.001.0001/acref-9780199688975-e-4022