Procedures as persistent data objects

ABSTRACT

A persistent programming environment, together with a language that supports first class procedures, may be used to provide the semantic features of other object modeling languages. In particular, the two concepts may be combined to implement abstract data types, modules, separate compilation, views, and data protection. Furthermore, the ideas may be used in system construction and version control, as demonstrated here.

REFERENCES

• 1: ATKINSON, M. P., BAILEY, P. J., COCKSHOTT, W. P., CHISHOLM, K. J., AND MORRISON, R. An approach to persistent programming. Comput. J. 26, 4 (1983), 360-365.
• 2: ATKINSON, M. P., BAILEY, P. J., COCKSHOTT, W. r., CHISHOLM, K. J., AND MORRISON, R. Progress with persistent programming. In Database--Role and Structure, P. M. Stocker, M. P. Atkinson, and P. M. D. Gray, Eds., Cambridge University Press, Cambridge, England, 1984.
• 3: G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
• 4: M. W. Blasgen , M. M. Astrahan , D. D. Chamberlin , J. N. Gray , W. F. King , B. G. Lindsay , R. A. Lorie , J. W. Mehl , T. G. Price , G. R. Putzolu , M. Schkolnick , P. G. Sellinger , D. R. Slutz , H. R. Strong , I. L. Traiger , B. W. Wade , R. A. Yost, System R: an architectural overview, IBM Systems Journal, v.38 n.2-3, p.375-396, 1999
• 5: R. Burstall , B. Lampson, A kernel language for abstract data types and modules., Proc. of the international symposium on Semantics of data types, p.1-50, July 1984, Sophia-Antipolis, France
• 6: COCKSHOTT, W. P., ATKINSON, M. P., BAILEY, P. J., CHISHOLM, K. J., AND MORRISON, R. The persistent object management system. Softw. Pract. Exper. 14 (1984).
• 7: Codasyl DBTG: Codasyl committee on data system languages. Codasyl database task group report. ACM, New York, 1971.
• 8: Arthur Evans, Jr., PAL—a language designed for teaching programming linguistics, Proceedings of the 1968 23rd ACM national conference, p.395-403, August 27-29, 1968 [doi>10.1145/800186.810604]
• 9: J. J. Horning, Some desirable properties of data abstraction facilities, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.60-62, March 22-24, 1976, Salt Lake City, Utah, United States
• 10: Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
• 11: John B. Johnston, The contour model of block structured processes, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115883]
• 12: KULKARNI, K. G., AND ATKINSON, M.P. Experimenting with the functional data model. In Database: Role and Structure, P. M. Stocker, M. P. Atkinson, and P. M. D. Gray, Eds., Cambridge University Press, Cambridge, England, 1984.
• 13: B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
• 14: P. J. Landin, The next 700 programming languages, Communications of the ACM, v.9 n.3, p.157-166, March 1966 [doi>10.1145/365230.365257]
• 15: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 16: Barbara Liskov , Stephen Zilles, Programming with abstract data types, Proceedings of the ACM SIGPLAN symposium on Very high level languages, p.50-59, March 28-29, 1974, Santa Monica, California, United States
• 17: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 18: MILNER, R. A proposal for standard ML. Tech. Rep. CSR-157-83, University of Edinburgh, Edinburgh, Scotland, 1983.
• 19: James H. Morris, Jr., Protection in programming languages, Communications of the ACM, v.16 n.1, p.15-21, Jan. 1973 [doi>10.1145/361932.361937]
• 20: J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963 [doi>10.1145/366193.366201]
• 21: Owoso, G.O. Types and data management for persistent data. Ph.D. dissertation, University of Edinburgh, Edinburgh, Scotland, 1984.
• 22: Persistent programming research group PS-Algol reference manual, 2nd ed. University of Glasgow and University of St. Andrews, Rep. PPRR-12, 1984.
• 23: Brian Randall , Lawford J. Russell, Algol-60 Implementation, Academic Press, Inc., Orlando, FL, 1964
• 24: John C. Reynolds, G/EDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, v.13 n.5, p.308-319, May 1970 [doi>10.1145/362349.362364]
• 25: STRACHEY, C. Fundamental Concepts in Programming Languages. Oxford University Press, New York, 1967.
• 26: TURNER, D.A. SASL language manual. Rep. CS/79/3, University of St. Andrews, St. Andrews, Scotland, 1979.
• 27: Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
• 28: W1RTH, N. The programming language Pascal. Acta In{. 1, 1 (1971), 35-63.
• 29: Niklaus Wirth , Helmut Weber, EULER: a generalization of ALGOL and it formal definition: Part 1, Communications of the ACM, v.9 n.1, p.13-25, Jan. 1966 [doi>10.1145/365153.365162]
• 30: WULF, W. A., LONDON, R. L., AND SHAW, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Softw. Eng. SE-2, 4 (1976), 253-265.
• 31: Stephen N. Zilles, Procedural encapsulation: A linguistic protection technique, ACM SIGPLAN Notices, v.8 n.9, p.142-146, September 1973
• 32: VAN WIJNGAARDEN, A., ET AL. Report on the algorithmic language Algol 68. Numer. Math. 14, 1 (1969), 79-218.

INDEX TERMS

Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Abstract data types; Procedures, functions, and subroutines

General Terms:
Design, Languages