Data Type Inference for Logic Programming-Reference-Cited by-同舟云学术

Data Type Inference for Logic Programming

Published:2022 Issue: Volume: Page:16-37
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Barbosa João,Florido Mário,Costa Vítor Santos

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-98869-2_2

Reference35 articles.

1. Barbosa, J., Florido, M., Costa, V.S.: A three-valued semantics for typed logic programming. In: Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, 20–25 September 2019. EPTCS, vol. 306, pp. 36–51 (2019)

2. Barbosa, J., Florido, M., Costa, V.S.: Closed types for logic programming. In: 25th International Workshop on Functional and Logic Programming (WFLP 2017) (2017)

3. Barbuti, R., Giacobazzi, R.: A bottom-up polymorphic type inference in logic programming. Sci. Comput. Program. 19(3), 281–313 (1992)

4. Bruynooghe, M., Janssens, G.: An instance of abstract interpretation integrating type and mode inferencing. In: 1988 Fifth International Conference and Symposium, Washington, pp. 669–683 (1988)

5. Lecture Notes in Computer Science;W Charatonik,1998

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Improving Logic Programs by Adding Functions;Lecture Notes in Computer Science;2024

2. Requirements‐related fault prevention during the transformation from formal specifications to programs;IET Software;2023-05-15

3. From Logic to Functional Logic Programs;Theory and Practice of Logic Programming;2022-07

4. Typed SLD-Resolution: Dynamic Typing for Logic Programming;Logic-Based Program Synthesis and Transformation;2022