{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:23:24Z","timestamp":1780561404638,"version":"3.54.1"},"reference-count":45,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5662,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw: Pract. Exper."],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1002\/(sici)1097-024x(200003)30:3<259::aid-spe298>3.0.co;2-y","type":"journal-article","created":{"date-parts":[[2002,9,10]],"date-time":"2002-09-10T23:49:28Z","timestamp":1031701768000},"page":"259-291","source":"Crossref","is-referenced-by-count":104,"title":["Efficient annotated terms"],"prefix":"10.1002","volume":"30","author":[{"given":"M. G. J.","family":"van den Brand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H. A.","family":"de Jong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Klint","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P. A.","family":"Olivier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB1","volume-title":"Understanding ActiveX(TM) and OLE","author":"Chappell","year":"1996","unstructured":"Understanding ActiveX(TM) and OLE; MicroSoft Press, 1996."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB2","volume-title":"The Java Language Specification","author":"Gosling","year":"1996","unstructured":"The Java Language Specification; Addison-Wesley, 1996."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB3","year":"1997","unstructured":"OMG. The common object request broker: Architecture and specification, revision 2,0. Technical Report 97-02-25, Object Management Group, 1997. Available at: http:\/\/www.omg.org."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB4","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"Klint","year":"1993","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB5","volume-title":"Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97)","author":"van den Brand","year":"1997","unstructured":"Design and implementation of a new asf+sdf meta-environment. Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), (ed.); Workshops in Computing, Amsterdam, November 1997. Springer-Verlag."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB6","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0167-6423(97)00021-X","volume":"31","author":"Bergstra","year":"1998","journal-title":"Science of Computer Programming"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB7","volume-title":"The Art of Computer Programming, volume 3: Sorting and Searching","author":"Knuth","year":"1973","unstructured":"The Art of Computer Programming, volume 3: Sorting and Searching; Addison-Wesley, 1973."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB8","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1002\/spe.4380180902","volume":"18","author":"Boehm","year":"1988","journal-title":"Software?Practice and Experience"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB9","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/155090.155109","author":"Boehm","year":"1993","journal-title":"PLDI"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB10","volume-title":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management","author":"Jones","year":"1996","unstructured":"Garbage Collection: Algorithms for Automatic Dynamic Memory Management; Wiley, 1996."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB11","first-page":"6","volume-title":"ICSE-17 Workshop on Formal Methods Application in Software Engineering","author":"Arnold","year":"1995","unstructured":"An algebraic specification of a language for describing financial products. ICSE-17 Workshop on Formal Methods Application in Software Engineering, (ed.); IEEE, April 1995; 6-13."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB12","author":"Groote","year":"1999","unstructured":"Tutorial and reference guide for the ?CRL toolset version 1.0. Technical Report, CWI, Amsterdam, (in preparation). 1999."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB13","author":"Luttik","year":"1999","unstructured":"Description and formal specification of the link layer protocol (SEN-R9706). Technical Report, CWI, Amsterdam, 1999."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB14","author":"Dams","year":"1995","unstructured":"Specification and implementation of components of a ?CRL toolbox. Technical Report 152, Utrecht University, 1995."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB15","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-1-4471-2120-6_2","volume-title":"Algebra of Communicating Processes '94","author":"Groote","year":"1995","unstructured":"The syntax and semantics of ?CRL. Algebra of Communicating Processes '94, Workshops in Computing; Springer-Verlag: 1995; 26-62."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB16","author":"Wang","year":"1997","unstructured":"The Zephyr Abstract Syntax Description Language. Proceedings of the Conference on Domain-Specific Languages; 1997; 213-227."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB17","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1002\/(SICI)1097-024X(19990425)29:5<417::AID-SPE241>3.0.CO;2-F","volume":"29","author":"Hanson","year":"1999","journal-title":"Software?Practice and Experience"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1002\/(SICI)1096-908X(199803\/04)10:2<75::AID-SMR168>3.0.CO;2-5","volume":"10","author":"van Deursen","year":"1998","journal-title":"Journal of Software Maintenance"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB19","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/WCRE.1997.624585","volume-title":"Proceedings of the Fourth Working Conference on Reverse Engineering","author":"van den Brand","year":"1997","unstructured":"Generation of components for software renovation factories from context-free grammars. Proceedings of the Fourth Working Conference on Reverse Engineering, (eds.), 1997; 144-153."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB20","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-540-49051-7_14","volume-title":"Compiler Construction (CC'99)","author":"van den Brand","year":"1999","unstructured":"Compilation and memory management for ASF+SDF. Compiler Construction (CC'99), Lecture Notes in Computer Science 1575, (ed.), 1999; 198-213."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB21","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/71605.71607","volume":"24","author":"Heering","year":"1989","journal-title":"SIGPLAN Notices"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB22","volume-title":"Algebraic Specification","author":"Bergstra","year":"1989","unstructured":"(eds.) Algebraic Specification; ACM Press\/Addison-Wesley, 1989."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB23","series-title":"AMAST Series","doi-asserted-by":"crossref","DOI":"10.1142\/3163","volume-title":"Language Prototyping: An Algebraic Specification Approach","author":"van Deursen","year":"1996","unstructured":"(eds.), Language Prototyping: An Algebraic Specification Approach, AMAST Series in Computing, 5; World Scientific, 1996."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB24","year":"1998","unstructured":"CoFI-LD. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0. Documents\/CASL\/Summary-v1.0. In CoFI, 1998."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB25","author":"van den Brand","year":"1998","unstructured":"Aterms: Exchanging data between heterogeneous tools for CASL. Note T-3. In CoFI, 1998."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB26","author":"Visser","year":"1997","unstructured":"Syntax definition for language prototyping. PhD thesis, University of Amsterdam, 1997."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB27","series-title":"Lecture Notes","volume-title":"Algebraic Methodology and Software Technology (AMAST '96)","author":"van den Brand","year":"1996","unstructured":"Industrial applications of ASF+SDF. Algebraic Methodology and Software Technology (AMAST '96), (eds.), Lecture Notes in Computer Science, 1101; Springer-Verlag, 1996."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB28","series-title":"Electronic No","first-page":"139","volume-title":"Proceedings of the First International Workshop on Rewriting Logic and its Applications","author":"van den Brand","year":"1998","unstructured":"Term rewriting for sale. Proceedings of the First International Workshop on Rewriting Logic and its Applications, (eds.), Electronic Notes in Theoretical Computer Science, 15; Elsevier Science, 1998; 139-161."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB29","author":"Visser","year":"1998","unstructured":"Building program optimizes with rewriting strategies. International Conference on Functional Programming (ICFP'98), 1998; 13-26."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB30","author":"Borras","year":"1989","unstructured":"CENTAUR: the system. Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1989; 14-24. (Appeared as SIGPLAN Notices 24(2))."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB31","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/129630.129637","volume":"35","author":"Gray","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB32","author":"Grosch","year":"1992","unstructured":"Ast - a generator for abstract syntax trees. Technical Report 15, GMD Karlsruhe, 1992."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB33","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/193209.193217","volume":"29","author":"Wilson","year":"1994","journal-title":"SIGPLAN Notices"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB34","author":"Karasick","year":"1998","unstructured":"The architecture of Montana: an open and extensible programming environment with an incremental C++ compiler. Proceedings of the ACM SIGSOFT sixth International Symposium on Foundations of Software Engineering, 1998; 131-142."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB35","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/24039.24040","volume":"9","author":"Lamb","year":"1987","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB36","year":"1988","unstructured":"Extensible markup language (XML) 1.0. Technical Report, World Wide Web Consortium, 1988; Available at: http:www.w3.org\/TR\/REC-xml."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB37","year":"1995","unstructured":"Information Technology-Abstract Syntax Notation One (ASN.1): Encoding Rules-Packed Encoding Rules (PER). Technical Report, International Telecommunication Union, 1995; ITU-T Recommendation X.691."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB38","author":"Kamperman","year":"1994","unstructured":"GEL, a graph exchange language. Technical Report CS-R9440, CWI, Amsterdam, 1994."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB39","volume-title":"Anatomy of LISP","author":"Allen","year":"1978","unstructured":"Anatomy of LISP; McGraw-Hill, 1978."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB40","first-page":"265","volume":"13","author":"Terashima","year":"1990","journal-title":"Journal of Information Processing"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB41","author":"Appel","year":"1993","unstructured":"Hash-consing garbage collection. Technical Report CS-TR-412-93, Princeton University, 1993."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB42","author":"Groza","year":"1994","unstructured":"The algebraic specification of annotated abstract syntax trees. Technical Report P9414, University of Amsterdam, Programming Research Group, 1994."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB43","author":"van den Brand","year":"1999","unstructured":"Syntax trees for distributed environments. Technical Report, University of Amsterdam, Programming Research Group, 1999. (in preparation)."},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB44","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1145\/291889.291903","volume":"20","author":"Fokkink","year":"1998","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y-BIB45","year":"1998","unstructured":"CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. WWW ( http:\/\/www.brics.dk\/Projects\/CoFI) and FTP (ftp:\/\/ftp.brics.dk\/Projects\/CoFI), 1998."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1097-024X(200003)30:3%3C259::AID-SPE298%3E3.0.CO;2-Y","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1097-024X(200003)30:3%3C259::AID-SPE298%3E3.0.CO;2-Y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T08:51:17Z","timestamp":1625129477000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,3]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1097-024x(200003)30:3<259::aid-spe298>3.0.co;2-y","relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}