Specifying weak sets
暂无分享,去创建一个
[1] Hector Garcia-Molina,et al. Consistency in a partitioned network: a survey , 1985, CSUR.
[2] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.
[3] Quintin Cutts,et al. Persistent object systems , 2000, Softw. Pract. Exp..
[4] John C. Reynolds,et al. The craft of programming , 1981, Prentice Hall International series in computer science.
[5] Jeannette M. Wing. A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS , 1983 .
[6] Eugene J. Shekita,et al. Cricket: A Mapped, Persistent Object Store , 1990, POS.
[7] Mahadev Satyanarayanan,et al. A Case for Dynamic Sets in Operating Systems. , 1994 .
[8] Jeannette M. Wing,et al. Specifications and Their Use in Defining Subtypes , 1995, ZUM.
[9] L. Amsaleg,et al. Eos, an environment for object-based systems , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.
[10] David Maier,et al. Development and Implementation of an Object-Oriented DBMS , 1987, Research Directions in Object-Oriented Programming.
[11] Susan S. Owicki,et al. Axiomatic Proof Techniques for Parallel Programs , 1975, Outstanding Dissertations in the Computer Sciences.
[12] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[13] Hector Garcia-Molina,et al. Read-only transactions in a distributed database , 1982, TODS.
[14] Brewster Kahle,et al. An information system for corporate users: wide area information servers , 1991 .