{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:40Z","timestamp":1725663340954},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_57","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:30:32Z","timestamp":1330183832000},"page":"41-52","source":"Crossref","is-referenced-by-count":3,"title":["OBJ: Programming with equalities, subsorts, overloading and parameterization"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Jouannaud","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"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","unstructured":"C. Cavenaghi, M. De Zanet, and G. Mauri. MC-OBJ: a C interpreter for OBJ. Technical Report, Dipmentarto Scienze dell'Informazione, Universita di Milano, 1987."},{"key":"5_CR2","unstructured":"W. Clocksin and C. Mellish. Programming in Prolog. Springer-Verlag, 1981."},{"key":"5_CR3","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":"5_CR4","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J. Goguen, J-P. Jouannaud, and J. Meseguer. Principles of OBJ-2. In B. 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":"5_CR5","unstructured":"Kokichi Futatsugi, J. Goguen, J. Meseguer, and Koji Okada. Parameterized programming in OBJ-2. In Robert Balzer, editor, Proceedings, Ninth International Conference on Software Engineering, pages 51\u201360, IEEE Computer Society Press, March 1987."},{"key":"5_CR6","first-page":"165","volume-title":"Proceedings of the 13th Colloquium on Trees in Algebra and Programming","author":"I. Gnaedig","year":"1988","unstructured":"I. Gnaedig, C. Kirchner, and H. Kirchner. Equational completion in order-sorted algebras. In M. Dauchet and M. Nivat, editors, Proceedings of the 13th Colloquium on Trees in Algebra and Programming, pages 165\u2013184, Springer-Verlag, Nancy (France), 1988."},{"key":"5_CR7","unstructured":"J. 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":"5","key":"5_CR8","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"SE-10","author":"J. Goguen","year":"1984","unstructured":"J. Goguen. Parameterized programming. Transactions on Software Engineering. SE-10(5):528\u2013543, September 1984.","journal-title":"Transactions on Software Engineering"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"J. 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":"5_CR10","volume-title":"Proceedings of the First International Workshop on Conditional Term Rewriting Systems","author":"J. Goguen","year":"1988","unstructured":"J. Goguen, C. Kirchner, H. Kirchner, A. Megrelis, J. Meseguer, and T. Winkler. An introduction to OBJ-3. In J-P. Jouannaud and S. Kaplan, editors, Proceedings of the First International Workshop on Conditional Term Rewriting Systems, Springer-Verlag, Orsay (France), June 1988. Also as internal report CRIN: 88-R-001."},{"key":"5_CR11","unstructured":"J. Goguen, C. Kirchner, S. Leinwand, J. Meseguer, and T. Winkler. Progress report on the rewrite rule machine. IEEE Computer Architecture Technical Commitee Newsletter, 7\u201321, march 1986."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J. Goguen, C. Kirchner, and J. Meseguer. Concurrent term rewriting as a model of computation. In R. Keller and J. Fasel, editors, Proceedings, Graph Reduction Workshop, pages 53\u201393, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18420-1_50"},{"key":"5_CR13","unstructured":"J. Goguen, C. Kirchner, J. Meseguer, and T. 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":"5_CR14","unstructured":"J. Goguen and J. 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."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer. Extensions and foundations for object-oriented programming. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477, MIT Press, 1987. Preliminary version in SIGPLAN Notices, Volume 21, Number 10, pages 153\u2013162, October 1986; also, Technical Report CSLI-87-93, Center for the Study of Language and Information. Stanford University, March 1987.","DOI":"10.1145\/323648.323755"},{"key":"5_CR16","unstructured":"J. Goguen and J. 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":"5_CR17","unstructured":"J. Goguen and J. Meseguer. Order-sorted algebra solves the constructor-selector, multiple representation and coercion problem. In Proceeding of the second symposium on Logic In Computer Science, pages 18\u201329, IEEE Computer Society Press, 1987."},{"key":"5_CR18","unstructured":"J. Goguen, J. 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":"5_CR19","unstructured":"J. Goguen and J. 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":"5_CR20","unstructured":"J. Goguen and J. Tardo. OBJ-0 Preliminary Users Manual. Semantics and Theory of Computation Report 10, UCLA, 1977."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, J.P. Jouannaud, and J. Meseguer. Operational semantics for order-sorted algebra. In Proceeding of the 12th ICALP, Nafplion (Greece), pages 221\u2013231, 1985.","DOI":"10.1007\/BFb0015747"},{"issue":"30","key":"5_CR22","first-page":"66","volume":"1","author":"J.A. Goguen","year":"1986","unstructured":"J.A. Goguen and J. Meseguer. Remarks on remarks on many-sorted equational logic. Bulletin of EATCS, 1(30):66\u201373, October 1986. Also in SIGPLAN Notices, Volume 22, Number 4, pages 41\u201348, April 1987.","journal-title":"Bulletin of EATCS"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"T. Heuillard and J.P. Jouannaud. Compilation of term rewriting systems. In preparation, 1987.","DOI":"10.1007\/3-540-19242-5_10"},{"issue":"4","key":"5_CR24","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/357153.357158","volume":"1","author":"C. 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":"5_CR25","unstructured":"J. Hsiang and J-P. Jouannaud. General e-unification revisited. In Proceedings of 2nd Workshop on Unification, 1988."},{"key":"5_CR26","unstructured":"G\u00e9rard Huet and Jean-Jacques Levy. Computations in Non-ambiguous Linear Term Rewriting Systems. Technical Report, INRIA Laboria, 1979."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Thomas Johnsson. Target code generation from G-machine code. In J. 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":"5_CR28","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":"5_CR29","doi-asserted-by":"crossref","unstructured":"Richard B. Kieburtz. The G-machine: a fast, graph-reduction evaluator. In J-P. 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":"5_CR30","unstructured":"C. Kirchner. Order-sorted equational unification. In Proceeding of the Fifth International Conference on Logic Programming. 1988."},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"C. Kirchner, H. Kirchner, and J. Meseguer. Operational semantics of OBJ-3. In Proceedings of ICALP'88, Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19488-6_123"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"E. Kounalis and M. Rusinowitch. On word problems in horn theories. In E. Lusk and R. Overbeek, editors, Proceedings 9th International Conference on Automated Deduction, pages 527\u2013537, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0012854"},{"key":"5_CR33","unstructured":"S. Leinwand and J. Goguen. Architectural options for the rewrite rule machine. In S. Kartashev and S. Kartashev, editors, Proceedings, Second International Supercomputing Conference, Volume I, pages 63\u201370, International Supercomputing Institute, Inc., 1987."},{"key":"5_CR34","unstructured":"U. Montanari and J. 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":"5_CR35","unstructured":"P. Moses. Abstract data types as lattices. Technical Report DAIMI IR-78, Aarhus University, Computer Science Department, 1988."},{"key":"5_CR36","unstructured":"I. Ramakrishnan. R2m: a reconfigurable rewrite machine. In Proceedings of 2nd Workshop on Unification, 1988."},{"key":"5_CR37","unstructured":"G. Smolka, W. Nutt, J.A. Goguen, and J. Meseguer. Order sorted equational computation. In Proceedings of the Colloquium on Resolution of Equations in Algebraic Structures, Austin (Texas), May 1987."},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"S. Sridhar. An implementation of OBJ-2: 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.","DOI":"10.1007\/3-540-17179-7_5"},{"key":"5_CR39","unstructured":"G.L. Steele. Common Lisp: The Language. Digital Press, 1984."},{"key":"5_CR40","unstructured":"T. Winkler, S. Leinwand, and J. Goguen. Simulation of concurrent term rewriting. In S. Kartashev and S. Kartashev, editors, Proceedings, Second International Supercomputing Conference, Volume I, pages 199\u2013208. International Supercomputing Institute, Inc., 1987."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T06:08:54Z","timestamp":1561356534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}