نتایج جستجو برای: programming language

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

Journal: :International Journal of Interactive Multimedia and Artificial Intelligence 2015

Journal: :Journal of Systems and Software 2013

Journal: :Advances in Robotics & Automation 2013

Journal: :International Journal for Research in Applied Science and Engineering Technology 2021

Journal: :Proceedings of the ACM on programming languages 2023

This paper presents ProbCompCert, a compiler for subset of the Stan probabilistic programming language (PPL), in which several key passes have been formally verified using Coq proof assistant. Because nature PPLs, bugs their compilers can be difficult to detect and fix, making verification an interesting possibility. However, proving correctness PPL compilation requires new techniques because c...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده مهندسی 1387

چکیده ندارد.

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

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