كتاب إلكتروني
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
العنوان: | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking |
---|---|
المؤلفون: | Benajmin, ThibautAff9, Signoles, JulienAff9 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Prevosto, Virgile, editorAff7, Seceleanu, Cristina, editorAff8 |
المصدر: | Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. 14066:168-186 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031388279 9783031388286 |
---|---|
DOI: | 10.1007/978-3-031-38828-6_10 |