Author:
Arusoaie Andrei,Lucanu Dorel
Publisher
Springer International Publishing
Reference26 articles.
1. The Kore language (GitHub repository).
https://github.com/kframework/kore
. Accessed 07 Nov 2018
2. The semantics of K (online document).
https://github.com/kframework/kore/blob/master/docs/semantics-of-k.pdf
. Accessed 07 Nov 2018
3. Chapter 23 axiomatizable classes of locally free algebras of various types. In: Mal’cev, A.I. (ed.) The Metamathematics Algebraic Systems, Studies in Logic and the Foundations of Mathematics, vol. 66, pp. 262–281. Elsevier (1971).
https://doi.org/10.1016/S0049-237X(08)70560-3
4. Arusoaie, A., Lucanu, D., Rusu, V.: Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44, 48–71 (2015)
5. Arusoaie, A., Nowak, D., Rusu, V., Lucanu, D.: A certified procedure for RL verification. In: SYNASC 2017, pp. 129–136. IEEE CPS, Timişoara, Romania, September 2017.
https://hal.inria.fr/hal-01627517
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof-carrying parameters in certified symbolic execution;Logic Journal of the IGPL;2023-05-01
2. Capturing constrained constructor patterns in matching logic;Journal of Logical and Algebraic Methods in Programming;2023-01
3. Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification;Electronic Proceedings in Theoretical Computer Science;2022-09-19
4. A Matching Logic Foundation for Alk;Lecture Notes in Computer Science;2022
5. Matching logic explained;Journal of Logical and Algebraic Methods in Programming;2021-04