نتایج جستجو برای: based programs

تعداد نتایج: 3068163  

2016
Quang Loc Le Jun Sun Wei-Ngan Chin

In this work, we present a semi-decision procedure for a fragment of separation logic with user-defined predicates and Presburger arithmetic. To check the satisfiability of a formula, our procedure iteratively unfolds the formula and examines the derived disjuncts. In each iteration, it searches for a proof of either satisfiability or unsatisfiability. Our procedure is further enhanced with aut...

Journal: :IEEJ Transactions on Electronics, Information and Systems 1995

Journal: :Theory and Practice of Logic Programming 2020

Journal: :International Journal of Energy Research 1999

Journal: :Electronic Notes in Theoretical Computer Science 2001

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید