메뉴 건너뛰기




Volumn 1113, Issue , 1996, Pages 114-134

Mind the gap! Abstract versus concrete models of specifications

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS;

EID: 84944034898     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61550-4_143     Document Type: Conference Paper
Times cited : (7)

References (28)
  • 1
    • 0023500461 scopus 로고
    • Algebraic specifications of computable and semicomputable data types
    • J. Bergstra and J. Tucker. Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science 50:137-181 (1987).
    • (1987) Theoretical Computer Science , vol.50 , pp. 137-181
    • Bergstra, J.1    Tucker, J.2
  • 3
    • 0001849324 scopus 로고
    • Logical support for modularisation
    • G. Huet and G. Plotkin, eds, Cambridge Univ. Press
    • R. Diaconescu, J.A. Goguen and P. Stefaneas. Logical support for modularisation. In: Logical frameworks (G. Huet and G. Plotkin, eds.), 83-130. Cambridge Univ. Press (1993).
    • (1993) Logical frameworks , pp. 83-130
    • Diaconescu, R.1    Goguen, J.A.2    Stefaneas, P.3
  • 5
    • 0026444654 scopus 로고
    • Institutions: Abstract model theory for specification and programming
    • J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM 39:95-146 (1992).
    • (1992) Journal of the ACM , vol.39 , pp. 95-146
    • Goguen, J.1    Burstall, R.2
  • 6
    • 0015482118 scopus 로고
    • Proofs of correctness of data representations
    • C.A.R. Hoare. Proofs of correctness of data representations. Acta Informatica 1:271-281 (1972).
    • (1972) Acta Informatica , vol.1 , pp. 271-281
    • Hoare, C.A.R.1
  • 8
    • 0347500538 scopus 로고
    • The definition of Extended ML: A gentle introduction
    • Univ. of Edinburgh, Theoretical Computer Science, to appear (1996)
    • S. Kahrs, D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Report ECS-LFCS-95-322, Univ. of Edinburgh (1995). Theoretical Computer Science, to appear (1996).
    • (1995) Report ECS-LFCS-95-322
    • Kahrs, S.1    Sannella, D.2    Tarlecki, A.3
  • 10
    • 0002743030 scopus 로고
    • Constructive algebras I
    • Also in: The Metamathematics of Algebraic Systems. Collected papers 1936-1967 (B. Wells ed.), 148-212. North-Holland (1971)
    • A.I. Mal’cev. Constructive algebras I. Russian Mathematical Surveys 16:77-129 (1961). Also in: The Metamathematics of Algebraic Systems. Collected papers 1936-1967 (B. Wells ed.), 148-212. North-Holland (1971).
    • (1961) Russian Mathematical Surveys , vol.16 , pp. 77-129
    • Mal’cev, A.I.1
  • 11
    • 0001515002 scopus 로고
    • General logic
    • H.-D, Ebbinghaus et al., eds, North-Holland
    • J. Meseguer. General logic. Logic Colloquium’87 (H.-D, Ebbinghaus et al., eds.), 279-329. North-Holland (1989).
    • (1989) Logic Colloquium’87 , pp. 279-329
    • Meseguer, J.1
  • 14
    • 84968513637 scopus 로고
    • Computable algebra, general theory and theory of computable fields
    • M. Rabin. Computable algebra, general theory and theory of computable fields. Trans, of the AMS 95:341-360 (1960).
    • (1960) Trans, of the AMS , vol.95 , pp. 341-360
    • Rabin, M.1
  • 17
    • 0348197295 scopus 로고
    • Formal program development in Extended ML for the working programmer
    • Hursley Park. Springer Workshops in Computing
    • D. Sannella. Formal program development in Extended ML for the working programmer. Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park. Springer Workshops in Computing, 99-130 (1991).
    • (1991) Proc. 3rd BCS/FACS Workshop on Refinement , pp. 99-130
    • Sannella, D.1
  • 18
    • 21144464397 scopus 로고
    • Toward formal development of programs from algebraic specifications: Parameterisation revisited
    • D. Sannella, S. Sokołowski and A. Tarlecki. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica 29:689-736 (1992).
    • (1992) Acta Informatica , vol.29 , pp. 689-736
    • Sannella, D.1    Sokołowski, S.2    Tarlecki, A.3
  • 20
    • 51649156686 scopus 로고
    • Toward formal development of programs from algebraic specifications: Implementations revisited
    • D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25:233-281 (1988).
    • (1988) Acta Informatica , vol.25 , pp. 233-281
    • Sannella, D.1    Tarlecki, A.2
  • 22
    • 84947973909 scopus 로고
    • Model-theoretic foundations for formal program development: Basic concepts and motivation
    • Institute of Computer Science PAS, Warsaw
    • D. Sannella and A. Tarlecki. Model-theoretic foundations for formal program development: basic concepts and motivation. ICS PAS Report 791, Institute of Computer Science PAS, Warsaw (1995).
    • (1995) ICS PAS Report 791
    • Sannella, D.1    Tarlecki, A.2
  • 24
    • 85034227973 scopus 로고
    • A kernel language for algebraic specification and implementation
    • Borgholm. Springer LNCS
    • D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. Proc. 1983 Intl. Conf. on Foundations of Computation Theory, Borgholm. Springer LNCS 158, 413-427 (1983).
    • (1983) Proc. 1983 Intl. Conf. on Foundations of Computation Theory , vol.158 , pp. 413-427
    • Sannella, D.1    Wirsing, M.2
  • 25
    • 0003954902 scopus 로고
    • Data Abstraction and the Correctness of Modular Programming
    • Report CST-42-87, Univ. of Edinburgh
    • O. Schoett. Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis; Report CST-42-87, Univ. of Edinburgh (1987).
    • (1987) Ph.D. thesis
    • Schoett, O.1
  • 26
    • 0000931855 scopus 로고
    • Effective algebras
    • S. Abramsky, D. Gabbay and T. Maibaum, eds, Oxford Univ. Press
    • V. Stoltenberg-Hansen and J. Tucker. Effective algebras. In: Handbook of Logic in Computer Science, Vol. 4 (S. Abramsky, D. Gabbay and T. Maibaum, eds.), 357-526. Oxford Univ. Press (1995).
    • (1995) Handbook of Logic in Computer Science , vol.4 , pp. 357-526
    • Stoltenberg-Hansen, V.1    Tucker, J.2
  • 28
    • 0000382802 scopus 로고
    • Algebraic specification
    • J. van Leeuwen, ed, North-Holland
    • M. Wirsing. Algebraic specification. In: Handbook of Theoretical Computer Science, Vol. B (J. van Leeuwen, ed.), 675-788. North-Holland (1990).
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 675-788
    • Wirsing, M.1


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