{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:22Z","timestamp":1762458502456},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354628"},{"type":"electronic","value":"9783540354642"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780274_11","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T10:50:32Z","timestamp":1150800632000},"page":"194-215","source":"Crossref","is-referenced-by-count":3,"title":["Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application"],"prefix":"10.1007","author":[{"given":"Oana","family":"Andrei","sequence":"first","affiliation":[]},{"given":"Liliana","family":"Ibanescu","sequence":"additional","affiliation":[]},{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Elan web site, http:\/\/elan.loria.fr"},{"key":"11_CR2","unstructured":"Marvin: A tool for Molecule Drawing and Visualization, http:\/\/www.chemaxon.com\/marvin\/"},{"key":"11_CR3","unstructured":"Tom web site, http:\/\/tom.loria.fr"},{"key":"11_CR4","unstructured":"Andrei, O.: Term graph and chemical rewriting. Internship report, LORIA, Protheo Team, Nancy, France (September 2005)"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1021\/ci00025a032","volume":"35","author":"E.S. Blurock","year":"1995","unstructured":"Blurock, E.S.: Reaction: System for Modeling Chemical Reactions. Journal of Chemical Information and Computer Science\u00a035, 607\u2013616 (1995)","journal-title":"Journal of Chemical Information and Computer Science"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Ringeissen, C.: An Overview of ELAN. In: C. Kirchner and H. Kirchner, editors, Proceedings of the Second International Workshop on Rewriting Logic and Applications, volume 15 http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html Pont- \u00e0-Mousson (France), Electronic Notes in Theoretical Computer Science. Rapport LORIA 98-R-316 (September 1998),","DOI":"10.1016\/S1571-0661(05)82552-6"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-44881-0_4","volume-title":"Rewriting Techniques and Applications","author":"O. Bournez","year":"2003","unstructured":"Bournez, O., C\u00f4me, G.-M., Conraud, V., Kirchner, H., Ib\u0103nescu, L.: A Rule- Based Approach for Automated Generation of Kinetic Chemical Mechanisms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 30\u201334. Springer, Heidelberg (2003)"},{"key":"11_CR8","unstructured":"Bournez, O., Ibanescu, L., Kirchner, H.: From Chemical Rules to Term Rewriting. In: 6th International Workshop on Rule-Based Programming, Nara, Japan, April 2005. To appear in ENTCS series (2005)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR10","volume-title":"Chemical Engineering Kinetics","author":"G.-M. C\u00f4me","year":"2001","unstructured":"C\u00f4me, G.-M.: Gas-Phase Thermal Reactions. In: Chemical Engineering Kinetics, Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"11_CR11","volume-title":"Electronic Notes in Theoretical Computer Science","author":"R. Diaconescu","year":"2000","unstructured":"Diaconescu, R., Futatsugi, K.: An overview of CafeOBJ. In: Kirchner, C., Kirchner, H. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a015, Elsevier, Amsterdam (2000)"},{"key":"11_CR12","first-page":"19","volume":"39","author":"J. Dugundji","year":"1973","unstructured":"Dugundji, J., Ugi, I.: An Algebraic Model of Constitutional Chemistry as a Basis for Chemical Computer Programs. Topics in Current Chemistry\u00a039, 19\u201364 (1973)","journal-title":"Topics in Current Chemistry"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1066677.1066712","volume-title":"Proceedings of the 2005 ACM Symposium on Applied Computing (SAC)","author":"J.R. Faeder","year":"2005","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Graphical rule-based representation of signal-transduction networks. In: Haddad, H., Liebrock, L.M., Omicini, A., Wainwright, R.L. (eds.) Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, pp. 133\u2013140. ACM, New York (2005)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1021\/ie020581w","volume":"42","author":"J.M. Grenda","year":"2003","unstructured":"Grenda, J.M., Androulakis, I., Dean, A.M., Green, W.H.: Application of Computational Kinetic Mechanism Generation to Model the Autocatalytic Pyrolysis of Methane. Industrial Engineering Chemistry Research\u00a042, 1000\u20131010 (2003)","journal-title":"Industrial Engineering Chemistry Research"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Guyon, J., Moreau, P.-E., Reilles, A.: An integrated development environment for pattern matching programming. In: Barry, B., de Moor, O. (eds.) Proceedings of the 2nd eclipse Technology eXchange workshop, eTX 2004, Barcelona, Spain. Electronic Notes in Theoretical Computer Science (2004)","DOI":"10.1016\/j.entcs.2004.02.045"},{"key":"11_CR16","unstructured":"Ibanescu, L.: Programmation par r\u00e8gles et strat\u00e9gies pour la g\u00e9n\u00e9ration automatique de m\u00e9canismes de combustion d\u2019hydrocarbures polycycliques. Th\u00e8se de Doctorat d\u2019Universit\u00e9, Institut National Polytechnique de Lorraine, Nancy, France (June 2004)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Kirchner, C., Kirchner, H.: Rewriting, solving, proving. A preliminary version of a book (1999), available at www.loria.fr\/~ckirchne\/rsp.ps.gz","DOI":"10.1007\/978-3-642-59851-7_9"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-540-30502-6_27","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"C. Kirchner","year":"2004","unstructured":"Kirchner, C., Kirchner, H.: Rule-based programming and proving: the ELAN experience outcomes. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol.\u00a03321, pp. 363\u2013379. Springer, Heidelberg (2004)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","first-page":"187","volume-title":"Principles and Practice of Declarative Programming","author":"C. Kirchner","year":"1999","unstructured":"Kirchner, C., Moreau, P.-E., Reilles, A.: Formal validation of pattern matching code. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 187\u2013197. Springer, Heidelberg (1999)"},{"issue":"2","key":"11_CR20","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800003907","volume":"11","author":"H. Kirchner","year":"2001","unstructured":"Kirchner, H., Moreau, P.-E.: Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories. Journal of Functional Programming\u00a011(2), 207\u2013251 (2001)","journal-title":"Journal of Functional Programming"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-36579-6_5","volume-title":"Compiler Construction","author":"P.-E. Moreau","year":"2003","unstructured":"Moreau, P.-E., Ringeissen, C., Vittek, M.: A Pattern Matching Compiler for Multiple Target Languages. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 61\u201376. Springer, Heidelberg (2003)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0010-2180(94)00253-O","volume":"102","author":"E. Ranzi","year":"1995","unstructured":"Ranzi, E., Faravelli, T., Gaffuri, P., Sogaro, A.: Low-Temperature Combustion: Automatic Generation of Primary Oxidation Reactions and Lumping Procedures. Combustion and Flame\u00a0102, 179\u2013192 (1995)","journal-title":"Combustion and Flame"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-540-30203-2_7","volume-title":"Graph Transformations","author":"F. Rosell\u00f3","year":"2004","unstructured":"Rosell\u00f3, F., Valiente, G.: Analysis of metabolic pathways by graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 70\u201382. Springer, Heidelberg (2004)"},{"key":"11_CR24","series-title":"ch. 4","first-page":"293","volume-title":"Comprehensive Chemical Kinetics","author":"S. Tomlin","year":"1997","unstructured":"Tomlin, S., Tur\u00e1nyi, T., Pilling, M.J.: Mathematical Tools for the Construction, Investigation and Reduction of Combustion Mechanisms. In: Comprehensive Chemical Kinetics. ch. 4, vol.\u00a035, pp. 293\u2013437. Elsevier, Amsterdam (1997)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"van den Brand, M., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF Meta-environment: A Component-Based Language Development Environment. In: Computational Complexity, pp. 365\u2013370 (2001)","DOI":"10.1007\/3-540-45306-7_26"},{"key":"11_CR26","unstructured":"van den Brand, M.G.J., de Jong, H.A., Olivier, P.: Efficient annotated terms. Technical report, University of Amsterdam (2000) SEN-R0003, ISSN 1386-369X"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A Language for Program Transformation based on Rewriting Strategies. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"},{"issue":"1","key":"11_CR28","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/291251.289425","volume":"34","author":"E. Visser","year":"1999","unstructured":"Visser, E., Benaissa, Z.-e.-A., Tolmach, A.: Building program optimizers with rewriting strategies. ACM SIGPLAN Notices\u00a034(1), 13\u201326 (1999), Proceedings of the International Conference on Functional Programming (ICFP 1998)","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Visser, J.: Visitor combination and traversal control. In: ACM Conference on Object- Oriented Programming, Systems, Languages, and Applications - OOPSLA 2001, Tampa Bay, Florida, USA. ACM SIGPLAN Notices, vol.\u00a036(11), pp. 270\u2013282 (2001)","DOI":"10.1145\/504311.504302"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/S0097-8485(99)00092-3","volume":"24","author":"V. Warth","year":"2000","unstructured":"Warth, V., Battin-Leclerc, F., Fournet, R., Glaude, P.-A., C\u00f4me, G.-M., Scacchi, G.: Computer Based Generation of Reaction Mechanisms for Gas-Phase Oxidation. Computers and Chemistry\u00a024, 541\u2013560 (2000)","journal-title":"Computers and Chemistry"},{"key":"11_CR31","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1021\/ci00062a008","volume":"29","author":"D. Weininger","year":"1989","unstructured":"Weininger, D., Weininger, A., Weininger, J.L.: SMILES. 2. Algorithm for Generation of Unique SMILES Notation. Journal of Chemical Information and Computer Science\u00a029, 97\u2013101 (1989)","journal-title":"Journal of Chemical Information and Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebra, Meaning, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780274_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T16:06:18Z","timestamp":1586966778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780274_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354628","9783540354642"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11780274_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}