메뉴 건너뛰기
Formal Aspects of Computing
Volumn 8, Issue 3, 1996, Pages 369-375
The consistency theorem for free type definitions in Z
Author keywords

Formal specification; Inductive definition; Z language
Indexed keywords

CONSISTENCY; DEFINITION; FORMAL SPECIFICATION; SPECIFICATION LANGUAGE; Z LANGUAGE;
EID: 0030356899     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01214920     Document Type: Article
Times cited : (7)
References (5)
  • 1
    • 77956968984 scopus 로고
    • An introduction to inductive definitions
    • J. Barwise (ed.), North-Holland
    • Aczel, P.: "An introduction to inductive definitions", in J. Barwise (ed.), Handbook of mathematical logic, pp. 739-82. North-Holland, 1977.
    • (1977) Handbook of Mathematical Logic , pp. 739-782
    • Aczel, P.1
  • 2
    • 0039017298 scopus 로고
    • On free type definitions in Z
    • J. E. Nicholls (ed.), Springer-Verlag
    • Arthan, R. D.: "On free type definitions in Z", in J. E. Nicholls (ed.), Proceedings of the sixth Z User Meeting, pp. 40-58. Springer-Verlag, 1992.
    • (1992) Proceedings of the Sixth Z User Meeting , pp. 40-58
    • Arthan, R.D.1
  • 3
    • 2842540102 scopus 로고
    • Free type definitions
    • J. E. Nicholls (ed.), Programming Research Group, Oxford University Computing Laboratory
    • Spivey, J. M.: "Free type definitions", in J. E. Nicholls (ed.), Proceedings of the third Z User Meeting. Programming Research Group, Oxford University Computing Laboratory, 1988.
    • (1988) Proceedings of the Third Z User Meeting
    • Spivey, J.M.1

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