Author:
Lau Kung-Kiu,Momigliano Alberto,Ornaghi Mario
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A compositional semantics for logic programs. Theoretical Computer Science 122, 3–47 (1994)
2. Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Logic Programming 19-20, 443–502 (1994); Special issue: Ten years of logic programming
3. Lecture Notes in Computer Science;L. Alfaro de,2001
4. Debray, S.K.: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems 11(3), 418–450 (1989)
5. Deville, Y.: Logic Programming. Systematic Program Development. Addison-Wesley, Reading (1990)