{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:52:19Z","timestamp":1772121139819,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540457787","type":"print"},{"value":"9783540462354","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11877028_15","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T13:27:39Z","timestamp":1162474059000},"page":"378-396","source":"Crossref","is-referenced-by-count":8,"title":["Program Transformation Using HATS 1.84"],"prefix":"10.1007","author":[{"given":"Victor","family":"Winter","sequence":"first","affiliation":[]},{"given":"Jason","family":"Beranek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Begel, A., Boshernitsan, M., Graham, S.L.: Transformational generation of language plug-ins in the harmonia framework. Technical Report CSD-05-1370, University of California, Berkeley, California (January 2005)"},{"key":"15_CR2","volume-title":"Algebraic specification","author":"J.A. Bergstra","year":"1989","unstructured":"Bergstra, J.A.: Algebraic specification. ACM Press, New York (1989)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.-E., Ringeissen, C.: An overview of elan. Electr. Notes Theor. Comput. Sci.\u00a015 (1998)","DOI":"10.1016\/S1571-0661(05)80011-8"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-1-4612-1986-6_17","volume-title":"Modern Software Tools for Scientific Computing","author":"J.M. Boyle","year":"1997","unstructured":"Boyle, J.M., Harmer, T.J., Winter, V.L.: The TAMPR Program Transformation System: Simplifying the Development of Numerical Software. In: Arge, E., Bruaset, A.M., Langtangen, H.P. (eds.) Modern Software Tools for Scientific Computing, pp. 353\u2013372. Birkh\u00e4user Boston, Inc., Basel (1997)"},{"issue":"5","key":"15_CR5","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TSE.1984.5010281","volume":"10","author":"J.M. Boyle","year":"1984","unstructured":"Boyle, J.M., Muralidharan, M.N.: Program Reusability through Program Transformation. IEEE Transactions on Software Engineering 10(5), 574\u2013588 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-49366-2_7","volume-title":"Advances in Computing Science - ASIAN\u201998","author":"H. Cirstea","year":"1998","unstructured":"Cirstea, H., Kirchner, C.: The rewriting calculus as a semantics of ELAN. In: Hsiang, J., Ohori, A. (eds.) ASIAN 1998. LNCS, vol.\u00a01538, pp. 10\u201384. Springer, Heidelberg (1998)"},{"key":"15_CR7","unstructured":"Cirstea, H., Kirchner, C.: An introduction to the rewriting calculus. Research Report RR-3818, INRIA (December 1999)"},{"key":"15_CR8","unstructured":"de Jonge, M.: A pretty-printer for every occasion (2000)"},{"key":"15_CR9","unstructured":"HATS, http:\/\/faculty.ist.unomaha.edu\/winter\/hats-uno\/hatsweb\/index.html"},{"key":"15_CR10","unstructured":"He, J., Hoare, C.A.R.: Unifying theories of programming. Prentice Hall International Series in Comptuer Science (1998)"},{"key":"15_CR11","unstructured":"Kyoda, J., Jifeng, H.: Towards an Algebraic Synthesis of Verilog. Technical Report UNU\/IIST Report No. 218, The United Nations University (July 2001)"},{"key":"15_CR12","unstructured":"L\u00e4mmel, R., Visser, E., Visser, J.: The Essence of Strategic Programming. p. 18, Draft (October 15, 2002), Available at: http:\/\/www.cwi.nl\/~ralf"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-36388-2_24","volume-title":"Practical Aspects of Declarative Languages","author":"R. L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: A Strafunski Application Letter. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 357\u2013375. Springer, Heidelberg (2002)"},{"key":"15_CR14","unstructured":"L\u00e4mmel, R., Visser, J., Kort, J.: Dealing with Large Bananas. In: Jeuring, J. (ed.) Proceedings of WGP 2000, Technical Report, Universiteit Utrecht, pp. 46\u201359 (July 2000)"},{"key":"15_CR15","unstructured":"Bravenboer, K.O.M., van Dam, A., Visser, E.: Program transformation with scoped dynamic rewrite rules. Technical Report UU-CS-2005-005, Institute of Information and Computing Sciences, Utrecht University (2005)"},{"key":"15_CR16","unstructured":"McPeak, S.: Elkhound: A fast, practial glr parser generator. Technical Report UCB\/CSD-2-1214, University of California, Berkeley, California (December 2002)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"van den Brand, M., Sellink, M., Verhoef, C.: Current parsing techniques in software renovation considered harmful. In: Proceedings of the 6th International Workshop on Program Comprehension, IWPC 1998, Ischia, Italy, pp. 108\u2013117 (1998)","DOI":"10.1109\/WPC.1998.693325"},{"issue":"2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/941566.941568","volume":"12","author":"M.G.J. Brand van den","year":"2003","unstructured":"van den Brand, M.G.J., Klint, P., Vinju, J.J.: Term rewriting with traversal functions. ACM Trans. Softw. Eng. Methodol.\u00a012(2), 152\u2013190 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45937-5_12","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2002","unstructured":"van den Brand, M.G.J., Scheerder, J., Vinju, J., Visser, E.: Disambiguation filters for scannerless generalized LR parsers. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 143\u2013158. Springer, Heidelberg (2002)"},{"key":"15_CR20","unstructured":"Visser, E.: Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam (1997)"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/289423.289425","volume-title":"ICFP 1998: Proc. of the third ACM SIGPLAN international conference on Functional programming","author":"E. Visser","year":"1998","unstructured":"Visser, E., el Abidine Benaissa, Z., Tolmach, A.: Building program optimizers with rewriting strategies. In: ICFP 1998: Proc. of the third ACM SIGPLAN international conference on Functional programming, pp. 13\u201326. ACM Press, New York (1998)"},{"key":"15_CR22","unstructured":"Wickstrom, G.L., Davis, J., Morrison, S.E., Roach, S., Winter, V.L.: The SSP: An example of high-assurance system engineering. In: HASE 2004: The 8th IEEE International Symposium on High Assurance Systems Engineering (2004)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Winter, V.: Strategy Construction in the Higher-Order Framework of TL. Electronic Notes in Theoretical Computer Science (ENTCS)\u00a0124 (2004)","DOI":"10.1016\/j.entcs.2004.07.020"},{"key":"15_CR24","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.scico.2004.03.006","volume":"52","author":"V. Winter","year":"2004","unstructured":"Winter, V., Subramaniam, M.: Dynamic Strategies, Transient Strategies, and the Distributed Data Problem. Science of Computer Programming (Special Issue on Program Transformation)\u00a052, 165\u2013212 (2004)","journal-title":"Science of Computer Programming (Special Issue on Program Transformation)"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Winter, V.L.: An overview of hats: a language independent high assurance transformation system. In: Proc. of IEEE Symposium on Application-Specific Systems and Software Engineering and Technology (ASSET), pp. 222\u2013229 (March 1999)","DOI":"10.1109\/ASSET.1999.756772"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Winter, V.L., Beranek, J., Mametjanov, A., Fraij, F., Roach, S., Wickstrom, G.: A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. In: Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005) (2005)","DOI":"10.1109\/WORDS.2005.12"}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11877028_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:49:33Z","timestamp":1605642573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11877028_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457787","9783540462354"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11877028_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}