{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:50:44Z","timestamp":1725760244258},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1066998","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1419-1426","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Rapidly prototyping implementation infrastructure of domain specific languages"],"prefix":"10.1145","author":[{"given":"Qian","family":"Wang","sequence":"first","affiliation":[{"name":"University of Texas at Dallas"}]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/6424.315691"},{"key":"e_1_3_2_1_2_1","volume-title":"LNCS","author":"J.","year":"2027","unstructured":"M.G. J. van den Brand, et al. The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. Compiler Construction 2001 , LNCS 2027 , Springer-Verlag.]] M.G.J. van den Brand, et al. The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. Compiler Construction 2001, LNCS 2027, Springer-Verlag.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647471.727281"},{"key":"e_1_3_2_1_4_1","first-page":"170","volume-title":"Proc. 10th Int'l Symp. on Prog. Lang. Impl., Logics and Programs, '98","author":"Consel C.","unstructured":"C. Consel . Architecturing Software Using a Methodology for Language Development . In Proc. 10th Int'l Symp. on Prog. Lang. Impl., Logics and Programs, '98 , Springer LNCS 1490 , pp. 170 -- 194 .]] C. Consel. Architecturing Software Using a Methodology for Language Development. In Proc. 10th Int'l Symp. on Prog. Lang. Impl., Logics and Programs, '98, Springer LNCS 1490, pp. 170--194.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/262793.262807"},{"key":"e_1_3_2_1_7_1","volume-title":"Japan.","author":"Futamura Y.","year":"1971","unstructured":"Y. Futamura . Partial Evaluation of Computer Programs: An approach to compiler-compiler. J. Inst. Electronics and Communication Engineers , Japan. 1971 .]] Y. Futamura. Partial Evaluation of Computer Programs: An approach to compiler-compiler. J. Inst. Electronics and Communication Engineers, Japan. 1971.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Programming Language Semantics","author":"Gunter C.","year":"1992","unstructured":"C. Gunter . Programming Language Semantics . MIT Press . 1992 .]] C. Gunter. Programming Language Semantics. MIT Press. 1992.]]"},{"key":"e_1_3_2_1_9_1","first-page":"579","volume-title":"Proceedings of International Conference on Parallel Processing, IEEE Press","author":"Gupta G.","year":"1998","unstructured":"G. Gupta , E. Pontelli , R. Felix-Cardenas , A. Lara , Automatic Derivation of a Provably Correct Parallelizing Compiler , In Proceedings of International Conference on Parallel Processing, IEEE Press , Aug , 1998 , pp. 579 -- 586 .]] G. Gupta, E. Pontelli, R. Felix-Cardenas, A. Lara, Automatic Derivation of a Provably Correct Parallelizing Compiler, In Proceedings of International Conference on Parallel Processing, IEEE Press, Aug, 1998, pp. 579--586.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"The Logic Programming Paradigm: A 25 year perspective","author":"Gupta G.","year":"1999","unstructured":"G. Gupta . Horn Logic Denotations and Their Applications , The Logic Programming Paradigm: A 25 year perspective . Springer LNAI. 1999 : 127--160.]] G. Gupta. Horn Logic Denotations and Their Applications, The Logic Programming Paradigm: A 25 year perspective. Springer LNAI. 1999:127--160.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA465318"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230208"},{"key":"e_1_3_2_1_14_1","volume-title":"Modular Domain Specific Languages and Tools. In IEEE Software Reuse Conf.","author":"Hudak P.","year":"2000","unstructured":"P. Hudak . Modular Domain Specific Languages and Tools. In IEEE Software Reuse Conf. 2000 .]] P. Hudak. Modular Domain Specific Languages and Tools. In IEEE Software Reuse Conf. 2000.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243447"},{"key":"e_1_3_2_1_16_1","volume-title":"Realistic Compiler Generation","author":"Lee P.","year":"1989","unstructured":"P. Lee . Realistic Compiler Generation . The MIT Press , Cambridge, MA , 1989 .]] P. Lee. Realistic Compiler Generation. The MIT Press, Cambridge, MA, 1989.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Program Synthesis from Requirements Specifications Using APTS","author":"Leonard E. I.","year":"2002","unstructured":"E. I. Leonard and C. L. Heitmeyer . Program Synthesis from Requirements Specifications Using APTS . Kluwer Academic Publishers , 2002 .]] E. I. Leonard and C. L. Heitmeyer. Program Synthesis from Requirements Specifications Using APTS. Kluwer Academic Publishers, 2002.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-48166-4_9","volume-title":"Software Engineering - ESEC\/FSE","author":"Leveson N. G.","year":"1999","unstructured":"N. G. Leveson , M. P. E. Heimdahl , and J. D. Reese . Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future . In Software Engineering - ESEC\/FSE , Springer Verlag , pages 127 -- 145 , 1999 .]] N. G. Leveson, M. P. E. Heimdahl, and J. D. Reese. Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. In Software Engineering - ESEC\/FSE, Springer Verlag, pages 127--145, 1999.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/551180"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298856"},{"key":"e_1_3_2_1_22_1","first-page":"436","volume-title":"Math. Foundations of CS","author":"Mosses P.D.","year":"1976","unstructured":"P.D. Mosses . Compiler Generation using Denotational Semantics . In Math. Foundations of CS , Springer LNCS 45, pages 436 -- 441 , 1976 .]] P.D. Mosses. Compiler Generation using Denotational Semantics. In Math. Foundations of CS, Springer LNCS 45, pages 436--441, 1976.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"Viewing a Program Transformation System at Work. Proc. Programming Language Implementation and Logic Programming","author":"Paige R.","year":"1994","unstructured":"R. Paige . Viewing a Program Transformation System at Work. Proc. Programming Language Implementation and Logic Programming , Springer , LNCS 844. 1994 .]] R. Paige. Viewing a Program Transformation System at Work. Proc. Programming Language Implementation and Logic Programming, Springer, LNCS 844. 1994.]]"},{"key":"e_1_3_2_1_24_1","first-page":"1","volume-title":"Proc. First IEEE Computer Society Bioinformatics Int'l Conf.","author":"Pontelli E.","year":"2002","unstructured":"E. Pontelli , D. Ranjan , G. Gupta , B. Milligan . \u03a6Log : A Language for Programming Phylogenetic Inference Problems . Proc. First IEEE Computer Society Bioinformatics Int'l Conf. , 2002 . pp. 1 -- 10 .]] E. Pontelli, D. Ranjan, G. Gupta, B. Milligan. \u03a6Log: A Language for Programming Phylogenetic Inference Problems. Proc. First IEEE Computer Society Bioinformatics Int'l Conf., 2002. pp. 1--10.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646523.694570"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. Usenix Conf. on Domain-Specific Languages. Usenix","author":"Ramming C.","year":"1997","unstructured":"C. Ramming . Proc. Usenix Conf. on Domain-Specific Languages. Usenix , 1997 .]] C. Ramming. Proc. Usenix Conf. on Domain-Specific Languages. Usenix, 1997.]]"},{"key":"e_1_3_2_1_27_1","unstructured":"D. Sahlin. An Automatic Partial Evaluator for Full Prolog. Ph.D. Thesis. 1994. Royal Institute of Tech. Sweden. (available at www.sics.se)]]  D. Sahlin. An Automatic Partial Evaluator for Full Prolog. Ph.D. Thesis. 1994. Royal Institute of Tech. Sweden. (available at www.sics.se)]]"},{"key":"e_1_3_2_1_28_1","volume-title":"a Methodology for Language Development","author":"Schmidt D.","year":"1986","unstructured":"D. Schmidt . Denotational Semantics : a Methodology for Language Development . W.C. Brown Publishers , 1986 .]] D. Schmidt. Denotational Semantics: a Methodology for Language Development. W.C. Brown Publishers, 1986.]]"},{"key":"e_1_3_2_1_29_1","unstructured":"S. Stepney. High Integrity Compilation. Prentice Hall. 1993.]]   S. Stepney. High Integrity Compilation. Prentice Hall. 1993.]]"},{"volume-title":"The Art of Prolog","author":"Sterling L.","key":"e_1_3_2_1_30_1","unstructured":"L. Sterling & S. Shapiro . The Art of Prolog . MIT Press , '94.]] L. Sterling & S. Shapiro. The Art of Prolog. MIT Press, '94.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582179"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30557-6_9"},{"key":"e_1_3_2_1_33_1","volume-title":"Strategies, Tools, and Systems in StrategoXT-0.9. Domain-Specific Program Generation, LNCS","author":"Visser Eelco","year":"2003","unstructured":"Eelco Visser . Program Transformation with Stratego\/XT: Rules , Strategies, Tools, and Systems in StrategoXT-0.9. Domain-Specific Program Generation, LNCS , Springer-Verlag , Nov. 2003 .]] Eelco Visser. Program Transformation with Stratego\/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. Domain-Specific Program Generation, LNCS, Springer-Verlag, Nov. 2003.]]"},{"volume-title":"Program Transformation in HATS. Software Transformation Systems Workshop, '99","author":"Winter V. L.","key":"e_1_3_2_1_34_1","unstructured":"V. L. Winter . Program Transformation in HATS. Software Transformation Systems Workshop, '99 .]] V. L. Winter. Program Transformation in HATS. Software Transformation Systems Workshop, '99.]]"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/503188.503196"}],"event":{"name":"SAC05: The 2005 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Santa Fe New Mexico","acronym":"SAC05"},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1066998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:34:56Z","timestamp":1673120096000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1066998"}},"subtitle":["a semantics-based approach"],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":33,"alternative-id":["10.1145\/1066677.1066998","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1066998","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}