Efficient implementation of lattice operations
暂无分享,去创建一个
Patrick Lincoln | Robert S. Boyer | Hassan Aït-Kaci | Roger Nasr | R. Boyer | P. Lincoln | H. Aït-Kaci | R. Nasr
[1] D. S. Parker. Partial Order Programming. , 1989 .
[2] David A. Moon,et al. The Lisp Machine manual , 1981, SGAR.
[3] Hassan Aït-Kaci,et al. LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..
[4] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .
[5] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[6] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.
[7] H. Aït-Kaci. A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification) , 1984 .
[8] Renzo Orsini,et al. The Type System of Galileo , 1988, Data Types and Persistence , Informal Proceedings.
[9] Daniel G. Bobrow,et al. CommonLoops: merging Lisp and object-oriented programming , 1986, OOPLSA '86.
[10] Hassan Aït-Kaci,et al. An Algebraic Semantics Approach to the Effective Resolution of Type Equations , 1986, Theor. Comput. Sci..
[11] Daniel G. Bobrow,et al. CommonLoops: Merging Lisp and Object-Oriented Programming , 1986, OOPSLA.
[12] Ramin Zabih,et al. Boolean classes , 1986, OOPSLA 1986.
[13] Maurice Nivat,et al. Resolution of Equations in Algebraic Structures , 1989 .
[14] J. Goguen,et al. Order-Sorted Equational Computation , 1989 .
[15] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[16] José Meseguer,et al. Extensions and foundations of object-oriented programming , 1986, OOPWORK '86.
[17] Ronald Morrison,et al. Data Types and Persistence , 1988 .