Zobrazeno 1 - 10
of 192
pro vyhledávání: '"Giesl, J."'
There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program
Externí odkaz:
http://arxiv.org/abs/0803.0014
We introduce the class of constant probability (CP) programs and show that classical results from probability theory directly yield a simple decision procedure for (positive) almost sure termination of programs in this class. Moreover, asymptotically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27eaabeba3a9afa0a581abaf30463893
http://arxiv.org/abs/1905.09544
http://arxiv.org/abs/1905.09544
We consider the termination problem for triangular weakly non-linear loops (twn-loops) over some ring $\mathcal{S}$ like $\mathbb{Z}$, $\mathbb{Q}$, or $\mathbb{R}$. Essentially, the guard of such a loop is an arbitrary Boolean formula over (possibly
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::c89be7fce3d2a78441113220e8680d11
https://hdl.handle.net/21.11116/0000-0007-CEEA-A21.11116/0000-0007-CEE8-C
https://hdl.handle.net/21.11116/0000-0007-CEEA-A21.11116/0000-0007-CEE8-C
We present a technique to infer lower bounds on the worst-case runtime complexity of integer programs, where in contrast to earlier work, our approach is not restricted to tail-recursion. Our technique constructs symbolic representations of program e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::b695b17e87523fee07a2e3478fd1d755
https://hdl.handle.net/21.11116/0000-0007-CEF3-F21.11116/0000-0007-CEF5-D
https://hdl.handle.net/21.11116/0000-0007-CEF3-F21.11116/0000-0007-CEF5-D
Kniha
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.
Kniha
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.
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.
Publikováno v:
Proceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003)
We define a general framework to handle liveness and related properties by reduction strategies in abstract reduction and term rewriting. Classically, reduction strategies in rewriting are used to simulate the evaluation process in programming langua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e45f8c4c731676fbf188ed5c13cd5453
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.
From 04.10. to 09.10.2009, the Dagstuhl Seminar 09411 ``Interaction versus Automation: The two Faces of Deduction'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current resea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5614d2a9e8163d9de24e84a04c16ce8b