Titlebook: Smart Education and e-Learning 2020; Vladimir L. Uskov,Robert J. Howlett,Lakhmi C. Jain Conference proceedings 2020 The Editor(s) (if appl

Immunization

conflate

飞行员

Karsten Henke,Heinz-Dietrich Wuttke,Johannes Naue propose in this paper a less intrusive approach based on simply annotating the function symbols with the (anti-)patterns the corresponding transformations are supposed to eliminate. We show how this approach allows one to statically check that the rewrite system implementing the transformation is

助记

宿醉

Heather N. Yates,Sreemala Das Majumder,Blake Wentz a performance that is comparable with state-of-the-art model checker PRISM-games for finding the exact solutions and sometimes an order of magnitude faster for queries that ask about approximate probability bounds. We document this on a series of scalable experiments from the PRISM-games benchmark

gonioscopy

Tamara Shikhnabievat our transformation results in TRSs which are indeed suitable for . termination analysis. In contrast to most other methods for termination of logic programs, our technique is also sound for logic programming ., which is typically used in practice. We implemented our approach in the termination pro

背带

Tabea Wanner,Tamara Wanner,Veit Etzoldt our transformation results in TRSs which are indeed suitable for . termination analysis. In contrast to most other methods for termination of logic programs, our technique is also sound for logic programming ., which is typically used in practice. We implemented our approach in the termination pro

Dedication

contexts for the abstract interpretation-based value analysis plug-ins of ., a framework for analysis of code written in .. The idea here presented has been implemented in a new . plug-in which is currently in use in an operational industrial setting.