Efficient implementation of lattice operations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 11, Issue 1, 1989, Pages 115-146

  Aït Kaci, Hassan ^a   Boyer, Robert ^b   Lincoln, Patrick ^c   Nasr, Roger ^d  

^a DEC/Paris Research Laboratory ^*  (France)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c STANFORD UNIVERSITY   (United States)

^d Microelectronics Computer Technology Corporation   (United States)

Author keywords

Inheritance; lattice operations; partially ordered objects

Indexed keywords

COMPUTER METATHEORY--BOOLEAN ALGEBRA; INFORMATION RETRIEVAL SYSTEMS;

BOOLEAN LATTICE; GREATEST LOWER BOUND; LATTICE OPERATIONS; LEAST UPPER BOUND; OBJECT INHERITANCE; PARTIALLY ORDERED OBJECTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0024304651     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/59287.59293     Document Type: Article

References (20)

1. Aho, V. A., Hopcropt, J. E., and Ullman, J. D. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1974.
2. Aït-Kaci, H. A lattice-theoretic approach to computation based on a calculus of partially-ordered type structures. Ph.D. dissertation, Computer and Information Science, University of Pennsylvania, Philadelphia, Penn., 1984.
3. Aït-Kaci, H. An algebraic-semantic approach to the effective resolution of type equations. Theor. Comput. Sci. 45 (1986), 185–215.
4. Aït-Kaci, H., Boyer, R., Lincoln, P., and NaSR, R. Efficient implementation of object inheritance. Tech. Rep. AI-102-87, Microelectronics and Computer Technology Corporation, Austin, Tex., 1987.
5. AïT-KACI, H., AND NASR, R. LOGIN: a logic programming language with built-in inheritance. J. Logic Program. 3 (1986), 185–215.
6. Aït-Kaci, H., and Lincoln, P. LIFE: A natural language for natural language. Tech. Rep. ACA-ST-074-88, Microelectronics and Computer Technology Corporation, Austin, Tex., Feb. 1988.
7. Albano, A., Giannotti, F., Orsini, R., and Pedreschi, D. The type system of Galileo. In M. Atkinson, P. Buneman, and R. Morrison, Ed. Data Types and Persistence. Springer-Verlag, Berlin, W. Germany, 1988, pp. 101–120.
8. Birkhoff, G. Lattice Theory. Volume 25 of Colloquium Publications, American Mathematical Society, Providence, R.I., (third edition) (1979).
9. Bobrow, D. et al. Commonloops, merging Lisp in object-oriented programming. In Proceedings of Object-Oriented Programming Systems, Languages, and Applications Conference, 1986 (Portland, Ore., 1986), pp. 17–19. Also SIGPLAN Not. 21, 11 (Nov. 1986).
10. Cardelli, L. Amber. Tech. Memo. 11271-840924-10TM, AT&T Bell Labs, Murray Hill, N.J., 1984.
11. Goguen, J., and Meseguer, J. Extensions and foundations of object-oriented programming. ACM SIGPLAN Not. 21, 10 (Oct. 1986), 153–162.
12. Goldberg, A., and Robson, D. SmallTalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass., (1980).
13. Jaffar, J., and Lassez, J.-L. Constraint logic programming. In Proceedings of the 14th ACM POPL Symposium (Munich, Jan. 1987), ACM, New York, 1987, pp. 111–119.
14. McAllester, D. Boolean class expressions. ACM SIGPLAN Not. 21,11 (Nov. 1986), 417–423.
15. Mukai, K. Anadic tuples in Prolog. Paper presented at the workshop organized by J. Minker on Foundations of Deductive Databases and Logic Programming (Washington, D.C., Aug. 1986).
16. Parker, D. S. Partial Order Programming. Tech. Rep. CSD-870067, Computer Science Department, UCLA, Los Angeles, Cal., Dec. 1987.
17. Smolka, G., Nutt, W., Goguen, J., and Meseguer, J. Order-sorted equational computation. In H. Aït-Kaci, and M. Nivat, Eds. Resolution of Equations in Algebraic Structures. Academic Press, Cambridge, Mass. (Forthcoming).
18. Stickel, M. Automatic deduction by theory resolution. In Proceedings of International Joint Conference on Artificial Intelligence (Los Angeles, Cal. 1985). Morgan Kauffman, 1985, pp. 1181–1186.
19. Walther, C. A mechanical solution of Schubert's steamroller by many-sorted resolution. Artif. Intell. 26 (1985), 217–224.
20. Weinreb, D., and Moon, D. Lisp Machine Manual. Massachusetts Institute of Technology, Cambridge, Mass., 1981.