{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:37Z","timestamp":1778198797434,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540192428","type":"print"},{"value":"9783540391661","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:04:54Z","timestamp":1330200294000},"page":"258-263","source":"Crossref","is-referenced-by-count":48,"title":["An introduction to OBJ 3"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Goguen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Kirchner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aristide","family":"M\u00e9grelis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Winkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"22_CR1","unstructured":"C. Cavenathi, M. De Zanet, and Giancarlo Mauri. MC-OBJ: a C Interpreter for OBJ. Technical Report Draft, Dipmentarto Scienze dell'Informazione, Universita de Milano, 1987."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Derek Coleman, Robin Gallimore, and Victoria Stavridou. The design of a rewrite rule interpreter from algebraic specifications. IEEE Software Engineering Journal, July:95\u2013104, 1987.","DOI":"10.1049\/sej.1987.0013"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer. Principles of OBJ2. In Brian Reid, editor, Proceedings of 12th ACM Symposium on Principles of Programming Languages, pages 52\u201366, Association for Computing Machinery, 1985.","DOI":"10.1145\/318593.318610"},{"key":"22_CR4","unstructured":"Kokichi Futatsugi, Joseph Goguen, Jos\u00e9 Meseguer, and Koji Okada. Parameterized programming in OBJ2. In Robert Balzer, editor, Proceedings, Ninth International Conference on Software Engineering, pages 51\u201360, IEEE Computer Society Press, March 1987."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"J.A. Goguen and J. Meseguer. Extensions and foundations of object-oriented programming. In SIGPLAN Notices, 1986.","DOI":"10.1145\/323779.323755"},{"key":"22_CR6","unstructured":"Joseph Goguen. Order Sorted Algebra. Technical Report, UCLA Computer Science Department, 1978. Semantics and Theory of Computation Report 14."},{"issue":"5","key":"22_CR7","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"SE-10","author":"J. Goguen","year":"1984","unstructured":"Joseph Goguen. Parameterized programming. Transactions on Software Engineering, SE-10(5):528\u2013543, September 1984.","journal-title":"Transactions on Software Engineering"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Joseph Goguen. Some design principles and theory for OBJ-0, a language for expressing and executing algebraic specifications of programs. In Proceedings, Mathematical Studies of Information Processing, pages 425\u2013473, Springer-Verlag, 1979. Lecture Notes in Computer Science, Volume 75; Proceedings of a Workshop held August 1978.","DOI":"10.1007\/3-540-09541-1_36"},{"key":"22_CR9","unstructured":"Joseph Goguen, Jean-Pierre Jouannaud, and Jos\u00e9 Meseguer. Operational semantics of order-sorted algebra. In W. Brauer, editor, Proceedings, 1985 International Conference on Automata, Languages and Programming, Springer-Verlag, 1985. Lecture Notes in Computer Science, Volume 194."},{"key":"22_CR10","unstructured":"Joseph Goguen, Claude Kirchner, Sany Leinwand, Jos\u00e9 Meseguer, and Timothy Winkler. Progress report on the rewrite rule machine. IEEE Computer Architecture Technical Committee Newsletter, March:7\u201321, 1986."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Joseph Goguen, Claude Kirchner, and Jos\u00e9 Meseguer. Concurrent term rewriting as a model of computation. In Robert Keller and Joseph Fasel, editors, Proceedings, Graph Reduction Workshop, pages 53\u201393, Springer-Verlag, 1987. Lecture Notes in Computer Science, Volume 279.","DOI":"10.1007\/3-540-18420-1_50"},{"key":"22_CR12","unstructured":"Joseph Goguen, Claude Kirchner, Jos\u00e9 Meseguer, and Timothy Winkler. OBJ as a language for concurrent programming. In Proceedings, Second International Supercomputing Conference, Volume I, pages 195\u2013198, International Supercomputing Institute, Inc., 1987."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Eqlog: equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Functional and Logic Programming, pages 295\u2013363, Prentice-Hall, 1986. An earlier version appears in Journal of Logic Programming, Volume 1, Number 2, pages 179\u2013210, September 1984.","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Models and equality for logical programming. In Hartmut Ehrig, Giorgio Levi, Robert Kowalski, and Ugo Montanari, editors, Proceedings, 1987 TAPSOFT, pages 1\u201322, Springer-Verlag, 1987. Lecture Notes in Computer Science, Volume 250; also, Technical Report, Center for the Study of Language and Information, Stanford University.","DOI":"10.1007\/BFb0014969"},{"key":"22_CR15","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Order-Sorted Algebra I: Partial and Overloaded Operations, Errors and Inheritance. Technical Report To appear, SRI International, Computer Science Lab, 1988. Given as lecture at Seminar on Types, Carnegie-Mellon University, June 1983."},{"key":"22_CR16","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems. In Proceedings, Second Symposium on Logic in Computer Science, pages 18\u201329, IEEE Computer Society Press, 1987. Also Technical Report CSLI-87-92, Center for the Study of Language and Information, Stanford University, March 1987."},{"key":"22_CR17","first-page":"66","volume":"30","author":"J. Goguen","year":"1986","unstructured":"Joseph Goguen and Jos\u00e9 Meseguer. Remarks on remarks on many-sorted equational logic. Bulletin of the European Association for Theoretical Computer Science, 30:66\u201373, October 1986. Also in SIGPLAN Notices, Volume 22, Number 4, pages 41\u201348, April 1987.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"22_CR18","unstructured":"Joseph Goguen, Jos\u00e9 Meseguer, and David Plaisted. Programming with parameterized abstract objects in OBJ. In Theory and Practice of Software Technology, pages 163\u2013193, North-Holland, 1983."},{"key":"22_CR19","unstructured":"Joseph Goguen and Joseph Tardo. An introduction to OBJ: a language for writing and testing software specifications. In Marvin K. Zelkowitz, editor, Specification of Reliable Software, pages 170\u2013189, IEEE Press, 1979. Reprinted in Software Specification Techniques, Nehan Gehani and Andrew McGettrick, Eds., Addison-Wesley, 1985, pages 391\u2013420."},{"key":"22_CR20","unstructured":"Joseph Goguen and Joseph Tardo. OBJ-0 Preliminary Users Manual. Semantics and Theory of Computation Report 10, UCLA, 1977."},{"key":"22_CR21","unstructured":"Joseph A. Goguen. Higher-order functions considered unnecessary for higher-order programming. In Proceedings, University of Texas, Year of Programming, Institute on Declarative Programming, Addison-Wesley, 1988. To appear."},{"issue":"4","key":"22_CR22","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/357153.357158","volume":"1","author":"Christoph M. M. Hoffmann","year":"1982","unstructured":"Christoph M. Hoffmann and Michael O'Donnell. Programming with equations. Transactions on Programming Languages and Systems, 1(4):83\u2013112, 1982.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"22_CR23","unstructured":"G\u00e9rard Huet and Jean-Jacques Levy. Computations in Non-ambiguous Linear Term Rewriting Systems. Technical Report, INRIA Laboria, 1979."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Thomas Johnsson. Target code generation from G-machine code. In Joseph H. Fasel and Robert M. Keller, editors, Graph Reduction, pages 119\u2013159, Springer-Verlag, 1987. Lecture Notes in Computer Science, Volume 279.","DOI":"10.1007\/3-540-18420-1_53"},{"key":"22_CR25","volume-title":"Proceedings Second Conference on Rewriting Techniques and Applications","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. A compiler for term rewriting system. In Proceedings Second Conference on Rewriting Techniques and Applications, Springer Verlag, Bordeaux (France), May 1987."},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Richard B. Kieburtz. The G-machine: a fast, graph-reduction evaluator. In Jean-Pierre Jouannaud, editor, Proceedings, Conference on Functional Programming Languages and Computer Architecture, Springer-Verlag, 1985. Lecture Notes in Computer Science, Volume 201.","DOI":"10.1007\/3-540-15975-4_50"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"C. Kirchner, H. Kirchner, and J. Meseguer. Operational semantics of OBJ3. Technical Report 87-R-87, Centre de Recherche en Informatique de Nancy, 1987.","DOI":"10.1007\/3-540-19488-6_123"},{"key":"22_CR28","unstructured":"Sany Leinwand and Joseph Goguen. Architectural options for the rewrite rule machine. In Steven Kartashev and Svetlana Kartashev, editors, Proceedings, Second International Supercomputing Conference, Volume I, pages 63\u201370, International Supercomputing Institute, Inc., 1987."},{"key":"22_CR29","unstructured":"Ugo Montanari and Joseph Goguen. An Abstract Machine for Fast Parallel Matching of Linear Patterns. Technical Report SRI-CSL-87-3, Computer Science Lab, SRI International, May 1987."},{"key":"22_CR30","unstructured":"Gert Smolka, Werner Nutt, Jos\u00e9 Meseguer, and Joseph Goguen. Order-sorted equational computation. 1987. To appear in Proceedings, Colloquium on the Resolution of Equations in Algebraic Structures, held in Lakeway TX, May 1987."},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"S. Sridhar. An implementation of OBJ2: an object-oriented language for abstract program specification. In Proceedings, Sixth Conference on Foundations of Software Technology and Theoretical Computer Science, pages 81\u201395, Springer-Verlag, 1986. Lecture Notes in Computer Science, Volume 241.","DOI":"10.1007\/3-540-17179-7_5"},{"key":"22_CR32","unstructured":"Timothy Winkler, Sany Leinwand, and Joseph Goguen. Simulation of concurrent term rewriting. In Steven Kartashev and Svetlana Kartashev, editors, Proceedings, Second International Supercomputing Conference, Volume I, pages 199\u2013208, International Supercomputing Institute, Inc., 1987."}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:51Z","timestamp":1605644211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}