Author:
Voinov Artem,Senokosov Ilya
Reference9 articles.
1. W. F. Clocksin and C. S. Mellish, Programming in Prolog: Using the ISO standard (Springer Science & Business Media, 2012).
2. M. Leuschel, Prolog for Verification, Analysis and Transformation Tools (arXiv e-prints, 2020), pp. 2008.02933.
3. M. Leotta et al., “Towards a runtime verification approach for internet of things systems” in Current Trends in Web Engineering: ICWE 2018 International Workshops, (Springer International Publishing, 2018), pp. 83–96.
4. D. Ancona et al., Towards runtime monitoring of node.js and its application to the internet of things (arXiv preprint arXiv:1802.01790, 2018).
5. J. Wielemaker et al., Using Prolog as the fundament for applications on the semantic web in Proceedings of ALPSWS2007, pp. 84–98 (2007).