Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Tekle, K. Tuncay"'
Publikováno v:
EPTCS 385, 2023, pp. 12-26
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been de
Externí odkaz:
http://arxiv.org/abs/2308.15878
Logic rules are powerful for expressing complex reasoning and analysis problems. At the same time, they are inconvenient or impossible to use for many other aspects of applications. Integrating rules in a language with sets and functions, and further
Externí odkaz:
http://arxiv.org/abs/2205.15204
Autor:
Tekle, K. Tuncay, Liu, Yanhong A.
Publikováno v:
EPTCS 306, 2019, pp. 241-254
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting from the facts or top-down starting from the query. For efficiency, top-down evaluation is extended with memoization of inferred facts, and bott
Externí odkaz:
http://arxiv.org/abs/1909.08246
Autor:
Tekle, K. Tuncay, Liu, Yanhong A.
Publikováno v:
Theory and Practice of Logic Programming, 16(5-6):916-932, Sept. 2016, Cambridge University Press
Pointer analysis is a fundamental static program analysis for computing the set of objects that an expression can refer to. Decades of research has gone into developing methods of varying precision and efficiency for pointer analysis for programs tha
Externí odkaz:
http://arxiv.org/abs/1608.01594
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:
Tekle, K. Tuncay, Liu, Yanhong A.
Publikováno v:
Proceedings of the 2011 International Conference: Management of Data; 6/12/2011, p661-672, 12p
Autor:
Tekle, K. Tuncay, Liu, Yanhong A.
Publikováno v:
Proceedings of the 12th International ACM SIGPLAN Symposium: Principles & Practice of Declarative Programming; 7/26/2010, p35-44, 10p
Publikováno v:
Proceedings of the 12th International ACM SIGPLAN Symposium: Principles & Practice of Declarative Programming; 7/26/2010, p25-34, 10p
Publikováno v:
Algebraic Methodology & Software Technology (9783540799795); 2008, p346-361, 16p
Publikováno v:
Proceedings of the 9th ACM SIGPLAN International Conference: Principles & Practice of Declarative Programming; 7/14/2007, p211-220, 10p