लोड हो रहा है...
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form [Formula: see text] , and describe that the value of x in the current state is at most the value of y in the previous state plus some constant [Formula: see text] ....
में बचाया:
| में प्रकाशित: | J Autom Reason |
|---|---|
| मुख्य लेखकों: | , , |
| स्वरूप: | Artigo |
| भाषा: | Inglês |
| प्रकाशित: |
Springer Netherlands
2017
|
| विषय: | |
| ऑनलाइन पहुंच: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6044401/ https://ncbi.nlm.nih.gov/pubmed/30069066 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-016-9402-4 |
| टैग : |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|