Filters








1 Hit in 9.5 sec

Data Type Inference for Logic Programming [article]

João Barbosa, Mário Florido, Vítor Santos Costa
2021 arXiv   pre-print
In this paper we present a new static data type inference algorithm for logic programming.  ...  We present the type inference algorithm, prove some properties and finally, we evaluate our approach on example programs that deal with different data structures.  ...  556 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 557 2019, volume 306 of EPTCS, pages 36-51, 2019. 558 559 560 (WFLP 2017), 2017. 561 BG92.  ... 
arXiv:2108.06562v1 fatcat:e7f2fqamxnacvepkrvyfyqtvhq