Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Formal Grounds for Construction for Intellimedia Automated System;2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS);2023-09-07
2. Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
3. Constraint-logic object-oriented programming on the Java virtual machine;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
4. Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming;Declarative Programming and Knowledge Management;2020
5. A compiler and virtual machine for constraint-logic object-oriented programming with Muli;Journal of Computer Languages;2019-08