{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:19:55Z","timestamp":1775053195405,"version":"3.50.1"},"reference-count":49,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1134\/s0361768807050027","type":"journal-article","created":{"date-parts":[[2007,9,29]],"date-time":"2007-09-29T02:55:51Z","timestamp":1191034551000},"page":"261-271","source":"Crossref","is-referenced-by-count":1,"title":["Object-oriented description of graph data structures"],"prefix":"10.1134","volume":"33","author":[{"given":"A. V.","family":"Demakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"5002_CR1","unstructured":"Cosling, J., Joy, B., Steele, G., and Bracha, G., The Java\u2122 Language Specification, Addison-Wesley, 2005."},{"key":"5002_CR2","unstructured":"Standard ECMA-334 C# Language Specification, 4th Edition, June 2006, http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-334.htm."},{"key":"5002_CR3","volume-title":"The Art of Programming","author":"D. Knut","year":"1997","unstructured":"Knut, D., The Art of Programming, Reading, Massachusetts: Addison-Wesley, 1997, vol. 1: Fundamental Algorithms."},{"key":"5002_CR4","volume-title":"Data Structures and Algorithms","author":"A.V. Aho","year":"1983","unstructured":"Aho, A.V., Hopkroft, J.E., and Ullman, J.D., Data Structures and Algorithms, Reading, Mass.: Addison-Wesley, 1983."},{"key":"5002_CR5","volume-title":"Grafy v programmirovanii: obrabotka, vizualizatsiaya i primenenie","author":"V.N. Kas\u2019yanov","year":"2003","unstructured":"Kas\u2019yanov, V.N. and Evstigneev, V.A., Grafy v programmirovanii: obrabotka, vizualizatsiaya i primenenie (Graphs in Programming: Processing, Visualization, and Application), St. Petersburg: BHV, 2003."},{"key":"5002_CR6","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"2006","unstructured":"Aho, A.V., Sethi, R., and Ullman, J.D., Compilers: Principles, Techniques, and Tools, Reading, Mass.: Addison-Wesley, 2006."},{"key":"5002_CR7","volume-title":"Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach","author":"K. Slonneger","year":"1995","unstructured":"Slonneger, K. and Kurtz, B.L., Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach, New-York: Addison-Wesley, 1995."},{"key":"5002_CR8","unstructured":"Serebryakov, V.A. and Galochkin, M.P., The Basics of Compiler Construction, Editorial URSS, 2001, http:\/\/www.citforum.ru\/programming\/theory\/serebryakov\/."},{"key":"5002_CR9","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., and Vlassides, J., Design Patterns: Elements of Reusable Object-Oriented Software, Reading, Mass.: Addison-Wesley, 1995."},{"key":"5002_CR10","unstructured":"Domain-Specific Languages: An Annotated Bibliography, http:\/\/homepages.cwi.nl\/:_arie\/papers\/dslib\/."},{"key":"5002_CR11","volume-title":"Object-Oriented Analysis and Design With Applications","author":"G. Booch","year":"1994","unstructured":"Booch, G., Object-Oriented Analysis and Design With Applications, Redwood City, Calif.: Benjamin\/Cummings, 1994."},{"key":"5002_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B., Object-Oriented Software Construction, Upper Saddle River, N.J.: Prentice Hall, 1997."},{"key":"5002_CR13","volume-title":"Object-Oriented Methods: Principles & Practice","author":"I. Graham","year":"2000","unstructured":"Graham, I., Object-Oriented Methods: Principles & Practice, Harlow, England: Addison-Wesley, 2000."},{"key":"5002_CR14","volume-title":"Lect. Notes Comput. Sci. (Proc. ECOOP-2001)","author":"E. Ernst","year":"2001","unstructured":"Ernst, E., Family Polymorphism, Lect. Notes Comput. Sci. (Proc. ECOOP-2001), Heidelberg: Springer, 2001, http:\/\/portal.acm.org\/citation.cfm?id=680013."},{"key":"5002_CR15","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., Some Challenging Typing Issues in Object-Oriented Languages, Electronic Notes in Theoretical Computer Science, 2003, vol. 82, no. 8, http:\/\/citeseer.ist.psu.edu\/bruce03some.html.","DOI":"10.1016\/S1571-0661(04)80799-0"},{"key":"5002_CR16","unstructured":"Jolly, P., Drossopoulou, S., Anderson, C., and Ostermann, K., Simple Dependent Types: Concord (FTfjP accepted version, April, 2004), http:\/\/myitcv.org.uk\/papers\/concord04.html.http:\/\/citeseer.ist.psu.edu\/article\/jolly04simple.html."},{"key":"5002_CR17","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Chong, S., and Myers, A.C., Scalable Extensibility via Nested Inheritance, Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 2004, http:\/\/citeseer.ist.psu.edu\/nystrom04scalable.html.","DOI":"10.1145\/1028976.1028986"},{"key":"5002_CR18","unstructured":"Baumgartner, G., Jansche, M., Laufer, K., Half & Half: Multiple Dispatch and Retroactive Abstraction for Java\u2122, Tech. Rep. OSU-CISRC-5\/01-TR08, Ohio State University, 2002."},{"key":"5002_CR19","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/28697.28732","volume-title":"Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 1986","author":"D.H.H. Ingalls","year":"1986","unstructured":"Ingalls, D.H.H., A Simple Technique for Handling Multiple Polymorphism, Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 1986, New-York: ACM, 1986, pp. 347\u2013349, http:\/\/portal.acm.org\/citation.cfm?id=28732."},{"key":"5002_CR20","first-page":"270","volume-title":"Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 2001","author":"J. Visser","year":"1986","unstructured":"Visser, J., Visitor Combinationa nd Traversal Control, Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 2001, New-York: ACM, 1986, pp. 270\u2013282, http:\/\/portal.acm.org\/citation.cfm?id=504302."},{"key":"5002_CR21","first-page":"307","volume-title":"Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 1991","author":"W.B. Mugridge","year":"1991","unstructured":"Mugridge, W.B., Hamer, J., and Hosking, J.G., Multi-Methods in a Statically-Typed Programming Language, Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 1991, London: Springer, 1991, pp. 307\u2013324, http:\/\/portal.acm.org\/citation.cfm?id=679202."},{"key":"5002_CR22","doi-asserted-by":"crossref","unstructured":"Chambers, C. and Leavens, G.T., Typechecking and Modules for Multi-Methods, Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 1994, ftp:\/\/ftp.cs.washington.edu\/homes\/chambers\/mmtc.ps.Z.","DOI":"10.1145\/191080.191083"},{"key":"5002_CR23","doi-asserted-by":"crossref","unstructured":"Millstein, T. and Chambers, C., Modular Statically Typed Multimethods, Lect. Notes Comput. Sci. (Proc. of the XIII European Conf. on Object-Oriented Programming, Lisbon, Portugal, June 14\u201318, 1999), Springer, 1999, no. 1628, pp. 279\u2013303.","DOI":"10.1007\/3-540-48743-3_13"},{"key":"5002_CR24","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K. and Eisenecker, U., Generative Programming: Methods, Tools, and Applications, Boston: Addison-Wesley, 2000."},{"key":"5002_CR25","unstructured":"Herrington, J., Code Generation in Action, Manning Publications, 2003."},{"key":"5002_CR26","volume-title":"Tekhnologii programmirovaniya. Komponentnyi podkhod","author":"V.V. Kuliamin","year":"2006","unstructured":"Kuliamin, V.V., Tekhnologii programmirovaniya. Komponentnyi podkhod (Programming Technologies: Component-Based Approach), Moscow: BINOM, 2006."},{"key":"5002_CR27","unstructured":"Wang, D.C., Appel, A.W., Korn, J.L., and Serra, C.S., The Zephyr Abstract Syntax Description Language. USENIX: Proc. of Conf. on Domain-Specific Languages, October 15\u201317, 1997, Santa Barbara, California, Berkeley, CA., 1997, pp. 213\u2013228."},{"issue":"2","key":"5002_CR28","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1049\/ip-sen:20041181","volume":"152","author":"M.G.J. Van den Brand","year":"2005","unstructured":"Van den Brand, M.G.J., Moreau, P.E., and Vinju, J.J., A Generator of Efficient Strongly Typed Abstract Syntax Trees in Java, IEE Proceedings-Software Engineering, 2005, vol. 152, no. 2, pp. 70\u201387.","journal-title":"IEE Proceedings-Software Engineering"},{"key":"5002_CR29","unstructured":"ANTLR\u2014Another Tool for Language Recognition, http:\/\/www.antlr.org."},{"key":"5002_CR30","unstructured":"Cocktail Toolbox, http:\/\/www.cocolab.com\/en\/cocktail.html."},{"key":"5002_CR31","unstructured":"Weatherley, R., Treecc: An Aspect-Oriented Approach to Writing Compilers, Free Software Magazine, 2001, no. 2, http:\/\/www.southern-storm.com.au\/treecc.html."},{"key":"5002_CR32","unstructured":"Grosch, J., Puma\u2014A Generator for the Transformation of Attributed Trees, Tech. Rep. 26, GMD, Karlsruhe, 1991, http:\/\/www.cocolab.com\/en\/cocktail.html#Puma."},{"key":"5002_CR33","doi-asserted-by":"crossref","unstructured":"De Jong, H.A. and Olivier, P.A., Generation of Abstract Programming Interfaces from Syntax Definitions, J. Logic and Algebraic Programming, 2004, vol. 59, http:\/\/www.cwi.nl\/themes\/senl\/twiki\/pub\/SEN1\/Api-Gen\/jlap.pdf.","DOI":"10.1016\/j.jlap.2003.12.002"},{"key":"5002_CR34","doi-asserted-by":"crossref","unstructured":"Van Reeuwijk, C., Tm: a Code Generator for Recursive Data Structures, Software \u2014Practice and Experience, 1992, vol. 22, no. 10, http:\/\/www.cs.vu.nl\/:_reeuwijk\/software\/Tm\/spe92.ps.gz.","DOI":"10.1002\/spe.4380221008"},{"key":"5002_CR35","unstructured":"W3C, Extensible Markup Language (XML), http:\/\/www.w3.org\/XML."},{"key":"5002_CR36","unstructured":"W3C, XSL Transformations (XSLT), http:\/\/www.w3.org\/TR\/xslt."},{"key":"5002_CR37","unstructured":"XMLmind XML Editor, http:\/\/www.xmlmind.com\/xmleditor\/."},{"key":"5002_CR38","unstructured":"http:\/\/relaxng.org."},{"key":"5002_CR39","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Rustan, K., and Leino, M., Declaring and Checking Non-null Types in an Object-Oriented Language, Proc. of Conf. on Object-Oriented Programming Systems, Languages and Applications 2003, http:\/\/research.microsoft.com\/:_leino\/papers\/krml109.pdf.","DOI":"10.1145\/949331.949332"},{"key":"5002_CR40","unstructured":"Eclipse Platform, http:\/\/eclipse.org."},{"key":"5002_CR41","unstructured":"Demakov, A., Satisfiable Subset of the Specification Language and Its Translation, Applications of System Programming: Issues of Cybemetics, Moscow, 1998, no. 4, pp. 17\u201328."},{"key":"5002_CR42","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-45575-2_30","volume":"2244","author":"I.B. Bourdonov","year":"2001","unstructured":"Bourdonov, I.B., Demakov, A.V., Jarov, A.A., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K., and Zelenov, S.V., Java Specification Extension for Automated Test Development, Lect. Notes Comput. Sci. (Proc. of PSI\u201901), 2001, vol. 2244, pp. 301\u2013307.","journal-title":"Lect. Notes Comput. Sci. (Proc. of PSI\u201901)"},{"key":"5002_CR43","unstructured":"Demakov, A., Application of the Technology UniTesK to Testing .NET-Components, Proc. of Conf. Microsoft Technologies in Scientific Research and Higher Education, Moscow, 2003."},{"issue":"2","key":"5002_CR44","first-page":"104","volume":"29","author":"S.V. Zelenov","year":"2003","unstructured":"Zelenov, S.V., Zelenova, S.A., Kossatchev, A.S., and Petrenko, A.K., Test Generation for Compilers and Other Formal Text Processors, Programmirovanie, 2003, vol. 29, no. 2, pp. 104\u2013111 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 2, pp. 104\u2013111].","journal-title":"Programmirovanie"},{"key":"5002_CR45","unstructured":"Kuliamin, V.V. and Petrenko, A.K., Applying Model-Based Testing in Different Contexts, Proc. of Seminar on Perspectives on Model Based Testing, Dagstuhl, Germany, 2004."},{"key":"5002_CR46","unstructured":"Arkhipova, M., Generation of Tests for Semantic Analyzers, Preprint of Inst. System Programming, Russ. Acad. Sci., Moscow, 2005, no. 9."},{"key":"5002_CR47","unstructured":"Demakov, A., The Language for Description of Abstract Syntax TreeDL and Its Use, Preprint of Inst. System Programming, Russ. Acad. Sci., Moscow, 2006, no. 17."},{"key":"5002_CR48","unstructured":"Demakov, A., TreeDL: A Language of Describing Graph Data Structures and Operations over Them, Vychislitel\u2019nye metody i programmirovanie, 2006, vol. 7."},{"key":"5002_CR49","unstructured":"Project TreeDL, http:\/\/treedl.sourceforge.net."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807050027","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:03:10Z","timestamp":1775008990000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807050027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":49,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["5002"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807050027","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}