-
2
-
-
0005361302
-
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
-
-
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
-
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
-
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
-
8
-
-
0022188648
-
Principles of OBJ2
-
Association for Computing Machinery
-
Futatsugi, Kokichi, Joseph Goguen, Jean-Pierre Jouannaud and José Meseguer. Principles of OBJ2. In Proceedings, Symposium on Principles of Programming Languages, pages 52–66. Association for Computing Machinery, 1985.
-
(1985)
Proceedings, Symposium on Principles of Programming Languages
, pp. 52-66
-
-
Futatsugi, K.1
Goguen, J.2
Jouannaud, J.-P.3
Meseguer, J.4
-
9
-
-
0042001137
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
-
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
-
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
-
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
-
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
|