메뉴 건너뛰기




Volumn 240 LNCS, Issue , 1986, Pages 313-333

A study in the foundations of programming methodology: Specifications, institutions, charters and parchments

Author keywords

[No Author keywords available]

Indexed keywords

COBOL (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS;

EID: 84976670841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-17162-2_131     Document Type: Conference Paper
Times cited : (62)

References (27)
  • 2
    • 0005361302 scopus 로고
    • Axioms for Abstract Model Theory
    • Barwise, Jon. Axioms for Abstract Model Theory. Annals of Mathematical Logic 7:221–265, 1974.
    • (1974) Annals of Mathematical Logic , vol.7 , pp. 221-265
    • Barwise, J.1
  • 3
    • 84909844091 scopus 로고
    • Technical Report 147, 85, Universität Kaiserslautern
    • Beierle, Christoph and Angelika Voss. Implementation Specifications. Technical Report 147, 85, Universität Kaiserslautern, 1985.
    • (1985) Implementation Specifications
    • Beierle, C.1    Voss, A.2
  • 6
    • 85035009423 scopus 로고
    • The Semantics of Clear, a Specification Language
    • Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, Springer-Verlag
    • Burstall, Rod and Joseph Goguen. The Semantics of Clear, a Specification Language. In Lecture Notes in Computer Science. Volume 86: Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, pages 292–332. Springer-Verlag, 1980.
    • (1980) Lecture Notes in Computer Science , vol.86 , pp. 292-332
    • Burstall, R.1    Goguen, J.2
  • 7
    • 0003116292 scopus 로고
    • An Informal Introduction to Specifications using Clear
    • In Robert Boyer and J Moore (editors), Academic Press, 1981. Reprinted in Software Specification Techniques, edited by N. Gehani and A. D. McGettrick, Addison-Wesley
    • Burstall, Rod and Joseph Goguen. An Informal Introduction to Specifications using Clear. In Robert Boyer and J Moore (editors), The Correctness Problem in Computer Science, pages 185–213. Academic Press, 1981. Reprinted in Software Specification Techniques, edited by N. Gehani and A. D. McGettrick, Addison-Wesley, 1985, pages 363–390.
    • (1985) The Correctness Problem in Computer Science , pp. 185-213
    • Burstall, R.1    Goguen, J.2
  • 9
    • 0042001137 scopus 로고
    • Mathematical Representation of Hierarchically Organized Systems
    • E. Attinger (editor), S. Karger
    • Goguen, Joseph. Mathematical Representation of Hierarchically Organized Systems. In E. Attinger (editor), Global Systems Dynamics, pages 112–128. S. Karger, 1971.
    • (1971) Global Systems Dynamics , pp. 112-128
    • Goguen, J.1
  • 10
    • 10044277873 scopus 로고
    • Semantics of Computation
    • University of Massachusetts at Amherst, Also published in Lecture Notes in Computer Science,, Springer-Verlag, 1975 151-163
    • Goguen, Joseph. Semantics of Computation. In Proceedings, First International Symposium on Category Theory Applied to Computation and Control, pages 234–249. University of Massachusetts at Amherst, 1974. Also published in Lecture Notes in Computer Science, Volume 25, Springer-Verlag, 1975, pages 151–163.
    • (1974) Proceedings, First International Symposium on Category Theory Applied to Computation and Control , vol.25 , pp. 234-249
    • Goguen, J.1
  • 11
    • 0022667698 scopus 로고
    • Reusing and Interconnecting Software Components
    • February
    • Goguen, Joseph. Reusing and Interconnecting Software Components. IEEE Computer 19(2):16–28, February, 1986.
    • (1986) IEEE Computer , vol.19 , Issue.2 , pp. 16-28
    • Goguen, J.1
  • 12
    • 33645424878 scopus 로고
    • Some Fundamental Algebraic Tools for the Semantics of Computation, Part 1: Comma Categories, Colimits, Signatures and Theories
    • Goguen, Joseph and Rod Burstall. Some Fundamental Algebraic Tools for the Semantics of Computation, Part 1: Comma Categories, Colimits, Signatures and Theories. Theoretical Computer Science 31(2):175–209, 1984.
    • (1984) Theoretical Computer Science , vol.31 , Issue.2 , pp. 175-209
    • Goguen, J.1    Burstall, R.2
  • 13
    • 85034210851 scopus 로고
    • Technical Report CSLI-85-30, Center for the Study of Language and Information, Stanford University, 1985. Also submitted for publication; a preliminary version appears in Proceedings, Logics of Programming Workshop, edited by Edward Clarke and Dexter Kozen, volume 164, Springer-Verlag Lecture Notes in Computer Science
    • Goguen, Joseph and Rod Burstall. Institutions: Abstract Model Theory for Computer Science. Technical Report CSLI-85-30, Center for the Study of Language and Information, Stanford University, 1985. Also submitted for publication; a preliminary version appears in Proceedings, Logics of Programming Workshop, edited by Edward Clarke and Dexter Kozen, volume 164, Springer-Verlag Lecture Notes in Computer Science, pages 221–256, 1984.
    • (1984) Institutions: Abstract Model Theory for Computer Science , pp. 221-256
    • Goguen, J.1    Burstall, R.2
  • 14
    • 0043002762 scopus 로고
    • A Categorical Approach to General Systems Theory
    • George Klir (editor), Plenum
    • Goguen, Joseph and Susanna Ginali. A Categorical Approach to General Systems Theory. In George Klir (editor), Applied General Systems Research, pages 257–270. Plenum, 1978.
    • (1978) Applied General Systems Research , pp. 257-270
    • Goguen, J.1    Ginali, S.2
  • 15
    • 0000851156 scopus 로고
    • Completeness of Many-sorted Equational Logic
    • Preliminary versions have appeared in: SIGPLAN Notices, July 1981, Volume 16, Number 7, pages 24–37, and January 1982, Volume 17, Number 1, pages 9–17; SRI Technical Report CSL-135, May 1982; and Technical Report CSLI-84-15, Center for the Study of Language and Information, Stanford University, September 1984
    • Goguen, Joseph and José Meseguer. Completeness of Many-sorted Equational Logic. Houston Journal of Mathematics 11(3):307–334, 1985. Preliminary versions have appeared in: SIGPLAN Notices, July 1981, Volume 16, Number 7, pages 24–37, and January 1982, Volume 17, Number 1, pages 9–17; SRI Technical Report CSL-135, May 1982; and Technical Report CSLI-84-15, Center for the Study of Language and Information, Stanford University, September 1984.
    • (1985) Houston Journal of Mathematics , vol.11 , Issue.3 , pp. 307-334
    • Goguen, J.1    Meseguer, J.2
  • 16
    • 0003151644 scopus 로고
    • Eqlog: Equality, Types, and Generic Modules for Logic Programming
    • Douglas DeGroot and Gary Lindstrom (editors), Prentice-Hall, An earlier version appears in the Journal of Logic Programming, September 179-210
    • Goguen, Joseph and José Meseguer. Eqlog: Equality, Types, and Generic Modules for Logic Programming. In Douglas DeGroot and Gary Lindstrom (editors), Functional and Logic Programming, pages 295–363. Prentice-Hall, 1986. An earlier version appears in the Journal of Logic Programming, volume 1, number 2, pages 179–210, September 1984.
    • (1986) Functional and Logic Programming , vol.1 , Issue.2 , pp. 295-363
    • Goguen, J.1    Meseguer, J.2
  • 17
    • 85034739148 scopus 로고
    • Object-Oriented Programming as Reflective Equational Programming
    • Goguen, Joseph and José Meseguer. Object-Oriented Programming as Reflective Equational Programming. In preparation. 1986
    • (1986) Preparation
    • Goguen, J.1    Meseguer, J.2
  • 18
    • 84976746763 scopus 로고
    • Eric Wagner and Jesse Wright. Initial Algebra Semantics and Continuous Algebras
    • January
    • Goguen, Joseph, James Thatcher, Eric Wagner and Jesse Wright. Initial Algebra Semantics and Continuous Algebras. Journal of the Association for Computing Machinery 24(1), January, 1977.
    • (1977) Journal of the Association for Computing Machinery , vol.24 , Issue.1
    • Goguen, J.1    Thatcher, J.2
  • 20
    • 85034738197 scopus 로고
    • Notes on Logic. Van Nostrand
    • Lyndon, Roger C. Mathematical Studies. Volume 6: Notes on Logic. Van Nostrand, 1966.
    • (1966) Mathematical Studies , vol.6
    • Lyndon, R.C.1
  • 22
    • 85034789048 scopus 로고
    • Technical Report DAIMI PB-191, Aarhus University, This contains a number of reports, some of which have been presented at various conferences
    • Mayoh, Brian. Galleries and Institutions. Technical Report DAIMI PB-191, Aarhus University, 1985. This contains a number of reports, some of which have been presented at various conferences.
    • (1985) Galleries and Institutions
    • Mayoh, B.1
  • 24
    • 84910715241 scopus 로고
    • On Observational Equivalence and Algebraic Specification
    • athematical Foundations of Software Development, volume 1: Proceedings of the Colloquium on Trees in Algebra and Programming, Springer-Verlag, Also appeared as University of Edinburgh, Department of Computer Science Technical Report CSR-172-84
    • Sanella, Donald and Andrzej Tarlecki. On Observational Equivalence and Algebraic Specification. In Lecture Notes in Computer Science. Volume 185: Mathematical Foundations of Software Development, volume 1: Proceedings of the Colloquium on Trees in Algebra and Programming, pages 308–322. Springer-Verlag, 1985. Also appeared as University of Edinburgh, Department of Computer Science Technical Report CSR-172-84.
    • (1985) Lecture Notes in Computer Science , vol.185 , pp. 308-322
    • Sanella, D.1    Tarlecki, A.2
  • 25
    • 85030471629 scopus 로고
    • Building Specifications in an Arbitrary Institution
    • In Giles Kahn, David MacQueen and Gordon Plotkin (editor), Proceedings, International Symposium on the Semantics of Data Types, Springer-Verlag, Also appeared as Internal Report CSR-184-85, University of Edinburgh, Department of Computer Science
    • Sanella, Donald and Andrzej Tarlecki. Building Specifications in an Arbitrary Institution. In Giles Kahn, David MacQueen and Gordon Plotkin (editor), Lecture Notes in Computer Science. Volume 173: Proceedings, International Symposium on the Semantics of Data Types, pages 337–356. Springer-Verlag, 1985. Also appeared as Internal Report CSR-184-85, University of Edinburgh, Department of Computer Science.
    • (1985) Lecture Notes in Computer Science , vol.173 , pp. 337-356
    • Sanella, D.1    Tarlecki, A.2
  • 26
    • 85036453295 scopus 로고
    • Free Constructions in Algebraic Institutions
    • Proceedings, Int. Symp. Math. Foundations of Computer Science, Springer-Verlag, Extended version, University of Edinburgh Computer Science Department Report CSR-149-83, and revised version ‘On the existence of Free Models in Abstract Algebraic Institutions', September
    • Tarlecki, Andrzej. Free Constructions in Algebraic Institutions. In Lecture Notes in Computer Science. Volume 176: Proceedings, Int. Symp. Math. Foundations of Computer Science, pages 526–534. Springer-Verlag, 1984. Extended version, University of Edinburgh Computer Science Department Report CSR-149-83, and revised version ‘On the existence of Free Models in Abstract Algebraic Institutions', September 1984.
    • (1984) Lecture Notes in Computer Science , vol.176 , pp. 526-534
    • Tarlecki, A.1


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