A formal specification technique for abstract data types with parallelism

  • Akinori Yonezawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 75)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10. References

  1. [Ashcroft75]
    E. A. Ashcroft, "Proving Assertions about Parallel Programs" JCSS, Vol.10, pp.110–135, 1975.Google Scholar
  2. [Atkinson-Hewitt77]
    R. Atkinson and C. Hewitt, "Synchronization in Actor Systems" SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angels, January, 1977.Google Scholar
  3. [Boyer-et-al75]
    R. S. Boyer, B. Elspas, and K. N. Levitt, "SELECT — A Formal System for Testing and Debugging Programs by Symbolic Execution" International Conference on Reliable Software, Los Angels, 1975.Google Scholar
  4. [Burstall-Goguen77]
    R. Burstall, J. Goguen, "Putting Theories together to Make Specifications" International Joint Conference on Artificial Intelligence, Boston, 1977.Google Scholar
  5. [Dahl-et-al70]
    O. J. Dahl, B. Myhrhang, and K. Nygaard, "The SIMULA-67: Common Base Language" Publication S-22, Norwegian Computing Center, Oslo, 1970. (Also, G. Birtwistle, O. J. Dahl, B. Myhrhang, and K. Nygaard, SIMULA Begin Auerbach, Philadelphia, 1973.)Google Scholar
  6. [Goguen 77]
    J. Goguen, "Algebraic Specification Techniques" Semantics and Theory of Computation Report 9. Dept. of Computer Science, UCLA 1977.Google Scholar
  7. [Greif75]
    I. Greif, "Semantics of Communicating Parallel Processes" (Ph.D Thesis) Technical Report TR-154, Laboratory for Computer Science (formerly Project HAC), MIT, September 1975.Google Scholar
  8. [Guttag75]
    J, V, Guttag, "The Specification and Applications to Programming of Abstract Data Types" Ph.D Thesis, University of Toronto, also Computer System Research Group Report CSRG-59, 1975.Google Scholar
  9. [Hewitt77]
    C. Hewitt, "Viewing Control Structures as Patterns of Passing Messages" Journal of Artificial Intelligence, Vol.8, pp.323–364, 1977.Google Scholar
  10. [Hewitt-Baker77]
    C. Hewitt and H. Baker Jr., "Laws for Communicating Parallel Processes" IFIP-77, Toronto, August, 1977.Google Scholar
  11. [Hoare72]
    C. A. R. Hoare, "Proof of Correctness of Data Representation" Acta Informatica, Vol.1, pp.271–281, 1972.Google Scholar
  12. [Hoare74]
    C. A. R. Hoare, "Monitors: An Operating System Structuring Concept" CACM Vol.17, No.10, Oct., 1974.Google Scholar
  13. [King76]
    J. King, "Symbolic Execution and Program Testing" CACM, Vol.19, No.7, July, 1976.Google Scholar
  14. [Learning-Research-Group76]
    Learning Research Group, "Personal Dynamic Media" SSL-76-1. Xerox Palo Alto Research Center, April, 1976Google Scholar
  15. [Liskov-Zilles74]
    B. Liskov and S. Zilles, "Programming with Abstract Data Types" ACM SIGPLAN Conference on Very High Level Languages, SIGPLAN NOTICE, Vol.9, No.4, April, 1974.Google Scholar
  16. [Liskov-Berzins77]
    B. Liskov and V. Berzins, "An Appraisal of Program Specifications" Computation Group Memo, No.141-1, Laboratory for Computer Science, MIT, 1977., also to appear in P. Wegner (Ed.) Research Directions in Software Technology, MIT Press, Cambridge, 1978.Google Scholar
  17. [Nakajima-et-al77]
    R. Nakajima, M. Honda, and H. Nakahara, "Describing and Verifying Programs with Abstract Types" IFIP Working Conference, New Brunswick, 1977.Google Scholar
  18. [Schaffert-et-al75]
    C. Schaffert, A. Snyder, and R. Atkinson, "The CLU Reference Manual" Laboratory for Computer Science (formaly Project MAC), MIT, September, 1975Google Scholar
  19. [Spitzen-Wegbreit75]
    J. Spitzen, and B. Wegbreit, "The Verification and Synthesis of Data Structures." Acta Informatica, Vol.4, pp.127–144, 1975.Google Scholar
  20. [Yonezawa77]
    A. Yonezawa, "Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics" (Ph.D. Thesis) Technical Report TR-191, Laboratory for Computer Science (formerly Project MAC), MIT, December 1977.Google Scholar
  21. [Yonezawa-Hewitt76]
    A. Yonezawa, and C. Hewitt, "Symbolic Evaluation using Conceptual Representations for Programs with Side-effects "AI-Memo, No.399, Artificial Intelligence Laboratory, MIT, December, 1976.Google Scholar
  22. [Yonezawa-Hewitt77]
    A. Yonezawa, and C. Hewitt, "Modelling Distributed Systems" International Joint Conference on Artificial Intelligence, Cambridge, August, 1977., also to appear in Macaine Intelligence 9, Edinburgh University Press, Edinburgh, 1978.Google Scholar
  23. [Zilles74]
    S. Zilles, "Algebraic Specifications of Data Types" Project MAC Progress Report Vol. 11, pp.52–58, MIT, Cambridge, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Akinori Yonezawa
    • 1
  1. 1.Dept. of Information ScienceTokyo Institute of TechnologyTokyo

Personalised recommendations