Author:
Giacobazzi Roberto,Levi Giorgio,Debray Saumya K.
Reference24 articles.
1. A.V. Aho, J.E. Hopcroft, and J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison Wesley Publishing Company, 1974.
2. R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 15(l):133–181, 1993.
3. R. Barbuti and A. Martelli. A Structured Approach to Semantics Correctness. Science of Computer Programming, 3:279–311, 1983.
4. J. Cirulis. An Algebraization of First Order Logic with Terms. Colloquia Mathematica Societatis Jànos Bolyai, 54:125–146, 1991.
5. P. Codognet and G. Filé. Computations, Abstractions and Constraints in Logic Programs. In Proc. Fourth Int. Conf. on Programming Languages, 1992.