THETA (2572/the016)

Icon at MIT

Programming Methodology Group MIT

An Object-Oriented Programming Language that supports constrained parametric polymorphism, subtype polymorphism, and separate type and class hierarchies. From the people who brought you Clu and Argus

Used in OODB Thor


People:
Structures:
Related languages
Argus => THETA   Influence

References:
  • B. Liskov, R. Gruber, P. Johnson, and L. Shrira. "A Highly Available Object Repository for Use in a Heterogeneous Distributed System" Programming Methodology Group Memo 70, MIT Lab. for Computer Science, Cambridge, MA, August 1990. view details
  • B. Liskov, R. Gruber, P. Johnson, and L. Shrira. "A Highly Available Object Repository for Use in a Heterogeneous Distributed System" pp255-266 view details
          in Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, MA, September 1990. Proceedings published as Implementing Persistent Object Bases: Principles and Practice, A. Dearle, G. Shaw, and S. Zdonik, editors, Morgan Kaufmann, 1991. view details
  • Liskov B et al "Theta Reference Manual Preliminary Version" MIT Programming Methodology Group Memo 88 view details External link: Online HTML ftpFTP of postscript
          in Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, MA, September 1990. Proceedings published as Implementing Persistent Object Bases: Principles and Practice, A. Dearle, G. Shaw, and S. Zdonik, editors, Morgan Kaufmann, 1991. view details
  • Liskov, B. ; M. Day, S. Ghemawat, R. Gruber, U. Maheshwari, A. Myers, and L. Shrira. The Language-Independent Interface of the Thor Persistent Object System. In O. Bukhres and A. Elmagarmid, editors, Object-Oriented Multidatabase Systems. Prentice-Hall, 1994. Also available as Programming Methodology Group Memo 80, MIT Lab. for Computer Science, Cambridge, MA, March 1994. view details
          in Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, MA, September 1990. Proceedings published as Implementing Persistent Object Bases: Principles and Practice, A. Dearle, G. Shaw, and S. Zdonik, editors, Morgan Kaufmann, 1991. view details
  • Liskov, B. and J. Wing. Family Values: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, November 1994. view details
          in Proceedings of the Fourth International Workshop on Persistent Object Systems, Martha's Vineyard, MA, September 1990. Proceedings published as Implementing Persistent Object Bases: Principles and Practice, A. Dearle, G. Shaw, and S. Zdonik, editors, Morgan Kaufmann, 1991. view details
    Resources