Funder
Austrian Science Fund
Upper Austrian Govermment
Ministerio de Economía y Competitividad
Universitat de Girona
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference35 articles.
1. Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: A modular order-sorted equational generalization algorithm. Inf. Comput. 235, 98–136 (2014)
2. Armengol, E., Plaza, E.: Bottom-up induction of feature terms. Mach. Learn. 41(3), 259–294 (2000)
3. Barendregt, H.: Introduction to generalized type systems. J. Funct. Progr. 1(2), 125–154 (1991)
4. Baumgartner, A., Kutsia, T.: A library of anti-unification algorithms. In: Fermé E., Leite J. (eds.) Logics in Artificial Intelligence—14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, 24–26 Sept 2014. Proceedings, Springer, Lecture Notes in Computer Science, vol. 8761, pp. 543–557 (2014)
5. Baumgartner, A., Kutsia, T., Levy, J., Villaret, M.: A variant of higher-order anti-unification. In: van Raamsdonk F. (ed.) 24th International Conference on Rewriting Techniques and Applications, RTA 2013, 24–26 June 2013, Eindhoven, The Netherlands, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs, vol. 21, pp. 113–127 (2013)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus;ACM Transactions on Computational Logic;2024-06-17
2. Equational Anti-unification over Absorption Theories;Lecture Notes in Computer Science;2024
3. Towards Fast Nominal Anti-unification of Letrec-Expressions;Automated Deduction – CADE 29;2023
4. WebRobot: web robotic process automation using interactive programming-by-demonstration;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Learning Quick Fixes from Code Repositories;Brazilian Symposium on Software Engineering;2021-09-27