Affiliation:
1. The University of Tokyo
Publisher
Information Processing Society of Japan
Reference28 articles.
1. [1] Champion, A., Kobayashi, N. and Sato, R.: HoIce: An ICE-Based Non-linear Horn Clause Solver, Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Ryu, S. (Ed.), Lecture Notes in Computer Science, Vol.11275, pp.146-156, Springer (online), DOI: 10.1007/978-3-030-02768-1_8 (2018).
2. [2] Delzanno, G. and Podelski, A.: Constraint-based deductive model checking, Int. J. Softw. Tools Technol. Transf., Vol.3, No.3, pp.250-270 (online), DOI: 10.1007/s100090100049 (2001).
3. [3] Economou, D.J., Krishnaswami, N. and Dunfield, J.: Focusing on Liquid Refinement Typing, CoRR, Vol.abs/2209.13000 (online), DOI: 10.48550/arXiv.2209.13000 (2022).
4. [4] Hashimoto, K. and Unno, H.: Refinement Type Inference via Horn Constraint Optimization, Static Analysis - 22nd International Symposium, SAS2015, pp.199-216 (2015).
5. [5] Knapik, T., Niwinski, D. and Urzyczyn, P.: Higher-Order Pushdown Trees Are Easy, Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, Nielsen, M. and Engberg, U. (Eds.), Lecture Notes in Computer Science, Vol.2303, pp.205-222, Springer (online), DOI: 10.1007/3-540-45931-6_15 (2002).