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

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

Journal: :ACM Transactions on Programming Languages and Systems 2021

Reduction to satisfiability of constrained Horn clauses (CHCs) is a widely studied approach automated program verification. Current CHC-based methods, however, do not work very well for pointer-manipulating programs, especially those with dynamic memory allocation. This article presents novel reduction Rust programs into CHCs, which clears away pointers and states by leveraging Rust’s guarantee...

Journal: :Annals of Operations Research 2008

Journal: :Prosthetics & Orthotics International 1984

Journal: :Science of Computer Programming 2022

This paper presents the first slicing approach for probabilistic programs based on specifications. We show that when are accompanied by their specifications in form of pre- and post-condition, we can exploit this semantic information to produce specification-preserving slices strictly more precise than yielded conventional techniques data/control dependency. To achieve goal, our technique is ba...

Journal: :Electronic Notes in Theoretical Computer Science 2001

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

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