메뉴 건너뛰기




Volumn 21, Issue 12, 1978, Pages 1048-1064

Abstract Data Types and Software Validation

Author keywords

abstract data type; correctness proof; data structure; data type; specification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0018050383     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359657.359666     Document Type: Article
Times cited : (231)

References (25)
  • 1
    • 0016437462 scopus 로고
    • Proving theorems about LISP functions
    • January
    • Boyer, R.S., and Moore, J.S. Proving theorems about LISP functions. J. ACM 22, 1 (January 1975), 129-144.
    • (1975) J. ACM , vol.22 , Issue.1 , pp. 129-144
    • Boyer, R.S.1    Moore, J.S.2
  • 4
    • 0016486626 scopus 로고
    • An interactive program verification system
    • March
    • Good, D.I., London, R.L., and Bledsoe, W.W. An interactive program verification system. IEEE Trans. Software Eng. SE-1, 1 (March 1975), 56-67.
    • (1975) IEEE Trans. Software Eng , vol.SE-1 , Issue.1 , pp. 56-67
    • Good, D.I.1    London, R.L.2    Bledsoe, W.W.3
  • 5
    • 3242834667 scopus 로고
    • The design of data type specifications
    • R.T. Yeh, Ed., Prentice-Hall, Englewood Cliffs, N.J.
    • Guttag, J.V., Horowitz, E., and Musser, D. The design of data type specifications. In Current Trends in Programming Methodology, R.T. Yeh, Ed., Prentice-Hall, Englewood Cliffs, N.J., 1978, pp. 60-79.
    • (1978) Current Trends in Programming Methodology , pp. 60-79
    • Guttag, J.V.1    Horowitz, E.2    Musser, D.3
  • 7
    • 0017504316 scopus 로고
    • Abstract data types and the development of data structures
    • June
    • Guttag, J.V. Abstract data types and the development of data structures. Comm. ACM 20, 6 (June 1977), 396-404.
    • (1977) Comm. ACM , vol.20 , Issue.6 , pp. 396-404
    • Guttag, J.V.1
  • 8
    • 0004988782 scopus 로고
    • The algebraic specification of abstract data types
    • Guttag, J.V., and Homing, J.J. The algebraic specification of abstract data types. Acta Informatica 10, 1 (1978), 27-52.
    • (1978) Acta Informatica , vol.10 , Issue.1 , pp. 27-52
    • Guttag, J.V.1    Homing, J.J.2
  • 9
    • 0015482118 scopus 로고
    • Proof of correctness of data representations
    • Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 4 (1972), 271-281.
    • (1972) Acta Informatica , vol.4 , pp. 271-281
    • Hoare, C.1
  • 10
    • 0000972249 scopus 로고
    • An axiomatic definition of the programming language PASCAL
    • Hoare, C.A.R., and Wirth, N. An axiomatic definition of the programming language PASCAL. Acta Informatica 2 (1973), 335-355.
    • (1973) Acta Informatica , vol.2 , pp. 335-355
    • Hoare, C.1    Wirth, N.2
  • 11
    • 0001580561 scopus 로고
    • Recursive data structures
    • June
    • Hoare, C.A.R. Recursive data structures. Int. J. Comptr. and Inform. Sci. 4, 2 (June 1975), 105-132.
    • (1975) Int. J. Comptr. and Inform. Sci , vol.4 , Issue.2 , pp. 105-132
    • Hoare, C.1
  • 13
    • 84976737650 scopus 로고
    • The SCRATCHPAD language
    • Proc. of ACM SIGPLAN Symp. on Very High Level Languages April
    • Jenks, R.D. The SCRATCHPAD language. Proc. of ACM SIGPLAN Symp. on Very High Level Languages. SIGPLAN Notices 9, 4 (April 1974), 101-111.
    • (1974) SIGPLAN Notices , vol.4 , Issue.9 , pp. 101-111
    • Jenks, R.D.1
  • 16
    • 77956967645 scopus 로고
    • Basis for a mathematical theory of computation
    • P. Braffort and D. Hirchberg, Eds., North-Holland Publ. Co., Amsterdam
    • McCarthy, J. Basis for a mathematical theory of computation. In Computer Programming and Formal Systems, P. Braffort and D. Hirchberg, Eds., North-Holland Publ. Co., Amsterdam, 1963, pp. 33-70.
    • (1963) Computer Programming and Formal Systems , pp. 33-70
    • McCarthy, J.1
  • 17
    • 0017788945 scopus 로고
    • data type verification system based on rewrite rules
    • Austin, Tex., Nov
    • Musser, D.R. A data type verification system based on rewrite rules. Proc. of Sixth Texas Conf. of Comput. Syst., Austin, Tex., Nov. 1977.
    • (1977) Proc. of Sixth Texas Conf. of Comput. Syst
    • Musser, D.1
  • 18
    • 84910293335 scopus 로고
    • Protected program modules in SIMULA 67
    • FOAP Rep. No. C8372-M3(E5), Research Inst, of National Defense, Stockholm
    • Palme, J. Protected program modules in SIMULA 67. FOAP Rep. No. C8372-M3(E5), Research Inst, of National Defense, Stockholm, 1973.
    • (1973)
    • Palme, J.1
  • 19
    • 0039232724 scopus 로고
    • Information distribution aspects of design methodology
    • North-Holland Pub. Co., Amsterdam
    • Parnas, D. L. Information distribution aspects of design methodology. Information Processing 71, 1 (1972), North-Holland Pub. Co., Amsterdam, 339-344.
    • (1972) Information Processing , vol.71 , Issue.1 , pp. 339-344
    • Parnas, D.L.1
  • 20
    • 0016459487 scopus 로고
    • The verification and synthesis of data structures
    • Spitzen, J., and Wegbreit, B. The verification and synthesis of data structures. Acta Informatica 4 (1975), 127-144.
    • (1975) Acta Informatica , vol.4 , pp. 127-144
    • Spitzen, J.1    Wegbreit, B.2
  • 21
    • 84914865167 scopus 로고
    • Data structures: an axiomatic approach
    • BBN Rep. No. 2639, Bolt Beranek and Newmann, Cambridge, Mass
    • Standish, T.A. Data structures: an axiomatic approach. BBN Rep. No. 2639, Bolt Beranek and Newmann, Cambridge, Mass., 1973.
    • (1973)
    • Standish, T.A.1
  • 22
    • 20144379476 scopus 로고
    • Automatic verification of programs with complex data structures
    • Ph.D. Th., Comptr. Sci. Dept., Stanford, U., Rep. No. STAN-CS-76-552, Feb
    • Suzuki, N. Automatic verification of programs with complex data structures. Ph.D. Th., Comptr. Sci. Dept., Stanford, U., Rep. No. STAN-CS-76-552, Feb. 1976.
    • (1976)
    • Suzuki, N.1
  • 23
    • 0016942875 scopus 로고
    • Proving properties of complex data structures
    • April
    • Wegbreit, B., and Spitzen, J. Proving properties of complex data structures. J. ACM 23, 2 (April 1976), 389-396.
    • (1976) J. ACM , vol.23 , Issue.2 , pp. 389-396
    • Wegbreit, B.1    Spitzen, J.2
  • 24
    • 0017268457 scopus 로고
    • An introduction to the construction and verification of Alphard programs
    • December
    • Wulf, W.A., London, R.L., and Shaw, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Software Eng. SE-2, 4 (December 1976), 253-265.
    • (1976) IEEE Trans. Software Eng , vol.SE-2 , Issue.4 , pp. 253-265
    • Wulf, W.A.1    London, R.L.2    Shaw, M.3
  • 25
    • 33745432591 scopus 로고
    • Abstract specifications for data types
    • IBM Res. Lab., San Jose, Calif
    • Zilles, S. N. Abstract specifications for data types. IBM Res. Lab., San Jose, Calif., 1975.
    • (1975)
    • Zilles, S.N.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.