메뉴 건너뛰기
Acta Informatica
Volumn 10, Issue 1, 1978, Pages 27-52
The algebraic specification of abstract data types
Author keywords

[No Author keywords available]
Indexed keywords

EID: 0004988782     PISSN: 00015903     EISSN: 14320525     Source Type: Journal    
DOI: 10.1007/BF00260922     Document Type: Article
Times cited : (311)
References (26)
  • 2
    • 84933261741 scopus 로고    scopus 로고
    • Boon, W.: The word problem. Ann. of Math. 207–265 (1959)
  • 3
    • 84933261788 scopus 로고    scopus 로고
    • Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. D.A.I. Research Report No. 19, Department of Artificial Intelligence, University of Edinburgh, March 1976
  • 6
    • 84933261786 scopus 로고    scopus 로고
    • Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.G.: Abstract data-types as initial algebras and correctness of data representations. Proceedings Conference on Computer Graphics, Pattern Recognition and Data Structure, May 1975
  • 7
    • 0006440677 scopus 로고
    • The specification and application to programming of abstract data types
    • Department of Computer Science, University of Toronto, Toronto (Canada)
    • (1975) Ph.D. Thesis
    • Guttag, J.V.1
  • 8
    • 0017504316 scopus 로고
    • Abstract data types and the development of data structures
    • (1977) Comm. ACM , vol.20 , pp. 396-404
    • Guttag, J.V.1
  • 9
    • 84933261779 scopus 로고    scopus 로고
    • Guttag, J.V., Horowitz, E., Musser, D.R.: Abstract data types and software validation. USC Information Sciences Institute Technical Report ISI/RR-76-48, 1976
  • 14
    • 0001481675 scopus 로고
    • General recursive functions of natural numbers
    • (1936) Math. Ann. , vol.112 , pp. 729-745
    • Kleene, S.1
  • 18
    • 84933261780 scopus 로고    scopus 로고
    • Morris, J.H.: Types are not sets. ACM Symposium on the Principles of Programming Languages, pp. 120–124, October 1973
  • 20
    • 0015346655 scopus 로고
    • A technique for the specification of software modules with examples
    • (1972) Comm. ACM , vol.15 , pp. 330-336
    • Parnas, D.L.1
  • 23
    • 84933261781 scopus 로고    scopus 로고
    • Standish, T.A.: Data structures — an axiomatic approach. BBN Report No. 2639, August 1973
  • 24
    • 84933261783 scopus 로고    scopus 로고
    • Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data type specification: Parameterization and the power of specification techniques. Private communication, 1977
  • 25
    • 84933261775 scopus 로고    scopus 로고
    • Wulf, W.A., London, R.L., Shaw, M.: Abstraction and verification in Alphard: introduction to language and methodology. Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, 1976
  • 26
    • 84933261776 scopus 로고
    • Data algebra: a specification technique for data structures
    • Massachusetts Institute of Technology, Cambridge (Mass.)
    • (1978) Ph.D. Thesis
    • Zilles, S.N.1

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