乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:39Z","timestamp":1725456339926},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539315"},{"type":"electronic","value":"9783540464501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0019445","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:40:35Z","timestamp":1132728035000},"page":"203-228","source":"Crossref","is-referenced-by-count":23,"title":["A categorial theory of objects as observed processes"],"prefix":"10.1007","author":[{"given":"H. -D.","family":"Ehrich","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Goguen","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"7_CR1","unstructured":"Burstall,R;Goguen,J.: Putting Theories Together to Make Specifications. Proc. Fifth International Joint Conference on Artificial Intelligence, (R. Reddy, ed.), Dept of Computer Science, Carnegie-Mellon University, 1977, 1045\u20131058"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Burstall,R;Goguen,J.: The Semantics of Clear, a Specification Language. Proc. 1979 Copenhagen Winter School on Abstract Software Specification, (D. Bjorner, ed.), LNCS 86, Springer Verlag, 1980, 292\u2013332","DOI":"10.1007\/3-540-10007-5_41"},{"key":"7_CR3","unstructured":"Bergstra,J.A.;Tucker,J.V.: The Inescapable Stack: an Exercise in Algebraic Specification with Total Functions. Report No. P8804, Programming Research Group, University of Amsterdam 1988"},{"volume-title":"Advances in Object-Oriented Database Systems. LNCS 334","year":"1988","key":"7_CR4","unstructured":"Dittrich, K.(ed.): Advances in Object-Oriented Database Systems. LNCS 334, Springer-Verlag, Berlin 1988"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: Abstract Object Types for Databases. In Di88, 144\u2013149","DOI":"10.1007\/3-540-50345-5_10"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: Objects, Object Types and Object Identity. Categorical Methods in Computer Science with Aspects from Topology (H. Ehrig et al (eds.), LNCS 393, Springer-Verlag, 142\u2013156","DOI":"10.1007\/3-540-51722-7_9"},{"issue":"1\/2","key":"7_CR7","first-page":"33","volume":"26","author":"H.-D. Ehrich","year":"1990","unstructured":"Ehrich, H.-D.;Sernadas, A.;Sernadas, C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK 26 (1990) 1\/2, 33\u201348","journal-title":"Journal of Information Processing and Cybernetics EIK"},{"key":"7_CR8","first-page":"239","volume-title":"Algebraic Implementation of Objects over Objects","author":"H.-D. Ehrich","year":"1990","unstructured":"Ehrich, H.-D.;Sernadas, A.: Algebraic Implementation of Objects over Objects. Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness (J.W. deBakker, W.-P. deRoever, G. Rozenberg, eds.), LNCS 430, Springer-Verlag, Berlin 1990, 239\u2013266"},{"key":"7_CR9","unstructured":"Fiadeiro,J.;Maibaum,T.: Describing, Structuring and Implementing Objects. This volume."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Fiadeiro,J.;Sernadas,A.: Logics of Modal Terms for Systems Specification. Journal of Logics and Computation (to appear)","DOI":"10.1093\/logcom\/1.2.187"},{"key":"7_CR11","unstructured":"Fiadeiro,J.;Sernadas,C.;Maibaum,T.;Saake,G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. Proc. IFIP 2.6 Working Conference DS-4, Windermere (UK) 1990 (to be published by North Holland)"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90134-8","volume":"31","author":"J.A. Gougen","year":"1984","unstructured":"Gougen, J.A.;Burstall, R.: Some Fundamental Algebraic Tools for the Semantics of Computation. Theor. Comp. Sc. 31 (1984), Part 1: 175\u2013209, Part 2: 263\u2013295","journal-title":"Theor. Comp. Sc."},{"key":"7_CR13","unstructured":"Goguen,J.A.;Burstall, R.: Institutions, Abstract Model Theory for Specification and Programming. Report ECS-LFCS-90-106, Edinburgh University, 1990 (to appear in JACM)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Goguen,J.;Ginali,S.: A Categorical Approach to General Systems Theory. Applied General Systems Research (G. Klir, ed.), Plenum, 1978, 257\u2013270","DOI":"10.1007\/978-1-4757-0555-3_18"},{"key":"7_CR15","first-page":"265","volume-title":"Universal Realization, Persistent Interconnection and Implementation of Abstract Modules","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A.;Meseguer, J.: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. Proc. 9th Int. Conf. on Automata, Languages and Programming (M. Nielsen, E.M. Schmidt, eds.), LNCS 140, Springer-Verlag, Berlin 1982, 265\u2013281"},{"key":"7_CR16","unstructured":"Goguen,J.A.;Meseguer,J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In SW87, 417\u2013477"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Goguen,J.: Mathematical Representation of Hierarchically Organized Systems. Global Systems Dynamics (E. Attinger, ed.), S. Karger, 1971, 112\u2013128","DOI":"10.1159\/000389460"},{"key":"7_CR18","unstructured":"Goguen,J.: Categorical Foundations for General Systems Theory. Advances in Cybernetics and Systems Research, Transcripta Books, 1973, 121\u2013130"},{"issue":"4","key":"7_CR19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/03081077408960783","volume":"1","author":"J. Goguen","year":"1975","unstructured":"Goguen, J.: Objects. International Journal of General Systems, 1(4), 1975, 237\u2013243","journal-title":"International Journal of General Systems"},{"key":"7_CR20","volume-title":"Topoi, the Categorial Analysis of Logic","author":"R. Goldblatt","year":"1979","unstructured":"Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland Publ. Comp., Amsterdam 1979"},{"key":"7_CR21","unstructured":"Goguen,J.: A Categorical Manifesto. Technical Report PRG-72, Programming Research Group, Oxford University, March 1989. To appear in Mathematical Structures in Computer Science."},{"key":"7_CR22","unstructured":"Goguen,J.: Sheaf Semantics of Concurrent Interacting Objects, 1990. To appear in Mathematical Structures in Computer Science."},{"key":"7_CR23","first-page":"12","volume-title":"An Algebraic Approach to Refinement","author":"J. Goguen","year":"1990","unstructured":"Goguen, J.: An Algebraic Approach to Refinement. Proc. VDM'90: VDM and Z \u2014 Formal Methods in Software Development (D. Bjorner, C.A.R. Hoare, H. Langmaack, eds.), LNCS 428, Springer-Verlag, Berlin 1990, 12\u201328"},{"key":"7_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0040-9383(65)90066-2","volume":"3","author":"J. Gray","year":"1965","unstructured":"Gray, J.: Sheaves with values in a category. Topology 3(1965), 1\u201318","journal-title":"Topology"},{"key":"7_CR25","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BFb0069608","volume-title":"Categories fibrees et descente","author":"A. Grothendieck","year":"1971","unstructured":"Grothendieck, A.: Categories fibrees et descente. Lecture Notes in Mathematics, Volume 224, Springer-Verlag, Berlin 1971, 175\u2013194"},{"key":"7_CR26","first-page":"80","volume-title":"An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. Current Trends in Programming Methodology IV: Data Structuring","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A.;Thatcher, J.W.;Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall, Englewood Cliffs 1978, 80\u2013149"},{"key":"7_CR27","unstructured":"G\u00fcndel,A.: Compatibility Conditions on Subclasses, Dortmund University (unpublished draft)"},{"key":"7_CR28","volume-title":"Objects and Inheritance: An Algebraic View","author":"F. Hayes","year":"1989","unstructured":"Hayes, F.;Coleman, D.: Objects and Inheritance: An Algebraic View. Technical Memo, HP Labs, Information Management Lab, Bristol 1989"},{"key":"7_CR29","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations. Acta Informatica 1 (1972), 271\u2013281","journal-title":"Acta Informatica"},{"key":"7_CR30","unstructured":"Jungclaus,R.;Saake,G.;Sernadas,C.: Using Active Objects for Query Processing. Proc. IFIP 2.6 Working Conference DS-4, Windermere (UK) 1990 (to be published by North Holland)"},{"key":"7_CR31","unstructured":"Saake,G.: Descriptive Specification of Database Object Behavior (to appear in Data&Knowledge Engineering, North Holland)"},{"key":"7_CR32","unstructured":"Sernadas,A.;Ehrich,H.-D.: What is an object, after all?. Proc. IFIP 2.6 Working Conference DS-4, Windermere (UK) 1990 (to be published by North Holland)"},{"issue":"1","key":"7_CR33","first-page":"7","volume":"1","author":"A. Sernadas","year":"1990","unstructured":"Sernadas, A.;Ehrich, H.-D.;Costa, J.-F.: From Processes to Objects. The INESC Journal of Research and Development 1 (1990) 1, 7\u201327","journal-title":"The INESC Journal of Research and Development"},{"key":"7_CR34","unstructured":"Sernadas,A.;Fiadeiro,J.;Sernadas,C.;Ehrich,H.-D.: The Basic Building Blocks of Information Systems. Information Systems Concepts: An In-Depth Analysis, E. Falkenberg and P. Lindgreen (eds.), North-Holland 1989, 225\u2013246"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Sernadas,A.;Fiadeiro,J.;Sernadas,C.;Ehrich,H.-D.: Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification, B. Banieqbal, H. Barringer and A. Pnueli (eds.), LNCS 398, Springer-Verlag 1989, 324\u2013350","DOI":"10.1007\/3-540-51803-7_33"},{"volume-title":"Research Directions in Object-Oriented Programming","year":"1987","key":"7_CR36","unstructured":"Shriver, B.;Wegner, P.(eds.): Research Directions in Object-Oriented Programming. The MIT Press, Cambridge, Mass. 1987"},{"key":"7_CR37","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A. Sernadas","year":"1987","unstructured":"Sernadas, A.;Sernadas, C.;Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, P.M. Stocker, W. Kent (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107\u2013116"},{"key":"7_CR38","unstructured":"Verharen,E.M.: Object-oriented System Development: An Overview. Technical Report, Infolab, Tilburg University 1990"}],"container-title":["Lecture Notes in Computer Science","Foundations of Object-Oriented Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:28:46Z","timestamp":1586579326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539315","9783540464501"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/bfb0019445","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}