{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:51:23Z","timestamp":1725796283904},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091556"},{"type":"electronic","value":"9783319091563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09156-3_42","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T11:15:22Z","timestamp":1404299722000},"page":"602-617","source":"Crossref","is-referenced-by-count":0,"title":["A Visual DSL for the Certification of Open Source Software"],"prefix":"10.1007","author":[{"given":"Tiago","family":"Car\u00e7\u00e3o","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","series-title":"Lecture Notes in Computer Science","first-page":"245","volume-title":"Information Technology and Open Source: Applications for Education, Innovation, and Sustainability","author":"P. Martins","year":"2014","unstructured":"Martins, P., Fernandes, J.P., Saraiva, J.: A Web Portal for the Certification of Open Source Software. In: Cerone, A., Persico, D., Fernandes, S., Garcia-Perez, A., Katsaros, P., Ahmed Shaikh, S., Stamelos, I. (eds.) SEFM 2012 Satellite Events. LNCS, vol.\u00a07991, pp. 245\u2013261. Springer, Heidelberg (2014)"},{"key":"42_CR2","unstructured":"Martins, P., Fernandes, J.P., Saraiva, J.: A purely functional combinator language for software quality assessment. In: Symposium on Languages, Applications and Technologies (SLATE 2012), Schloss Dagstuhl. OASICS, vol.\u00a021, pp. 51\u201369 (2012)"},{"key":"42_CR3","unstructured":"Car\u00e7\u00e3o, T.: Spectrum-based Energy Leak Localization. Master\u2019s thesis, University of Minho, Portugal (in preparation, 2014)"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.: On the accuracy of spectrum-based fault localization. In: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques \u2013 Mutation (Mutation 2007), pp. 89\u201398 (2007)","DOI":"10.1109\/TAICPART.2007.4344104"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Janssen, T., Abreu, R., van Gemund, A.J.: Zoltar: A spectrum-based fault localization tool. In: Proceedings of the 2009 ESEC\/FSE Workshop on Software Integration and Evolution @ Runtime, SINTER 2009, pp. 23\u201330. ACM (2009)","DOI":"10.1145\/1596495.1596502"},{"key":"42_CR6","unstructured":"Saraiva, J.: HaLeX: A Haskell Library to Model, Manipulate and Animate Regular Languages. In: ACM Workshop on Functional and Declarative Programming in Education. University of Kiel - TR 0210, pp. 133\u2013140 (September 2002)"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Silva, J.C., Saraiva, J., Campos, J.C.: A generic library for gui reasoning and testing. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC 2009, pp. 121\u2013128. ACM, New York (2009)","DOI":"10.1145\/1529282.1529307"},{"key":"42_CR8","first-page":"181","volume-title":"Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2010","author":"J.C. Silva","year":"2010","unstructured":"Silva, J.C., Silva, C., Gon\u00e7alo, R.D., Saraiva, J., Campos, J.C.: The guisurfer tool: Towards a language independent approach to reverse engineering gui code. In: Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2010, pp. 181\u2013186. ACM, New York (2010)"},{"key":"42_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BFb0026440","volume-title":"Compiler Construction","author":"M. Kuiper","year":"1998","unstructured":"Kuiper, M., Saraiva, J.: Lrc - A Generator for Incremental Language-Oriented Tools. In: Koskimies, K. (ed.) CC 1998. LNCS, vol.\u00a01383, pp. 298\u2013301. Springer, Heidelberg (1998)"},{"key":"42_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-40922-6_10","volume-title":"Programming Languages","author":"P. Martins","year":"2013","unstructured":"Martins, P., Fernandes, J.P., Saraiva, J.: Zipper-based attribute grammars and their extensions. In: Du Bois, A.R., Trinder, P. (eds.) SBLP 2013. LNCS, vol.\u00a08129, pp. 135\u2013149. Springer, Heidelberg (2013)"},{"key":"42_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/10704973_4","volume-title":"Advanced Functional Programming","author":"S.D. Swierstra","year":"1999","unstructured":"Swierstra, S.D., Alcocer, P.R.A., Saraiva, J.: Designing and implementing combinator languages. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 150\u2013206. Springer, Heidelberg (1999)"},{"key":"42_CR12","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"Kastens, U.: Ordered attribute grammars. Acta Informatica\u00a013, 229\u2013256 (1980)","journal-title":"Acta Informatica"},{"key":"42_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-49051-7_1","volume-title":"Compiler Construction","author":"J. Saraiva","year":"1999","unstructured":"Saraiva, J., Swierstra, S.D.: Data Structure Free Compilation. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol.\u00a01575, pp. 1\u201317. Springer, Heidelberg (1999)"},{"key":"42_CR14","doi-asserted-by":"crossref","unstructured":"Fernandes, J.P., Saraiva, J.: Tools and Libraries to Model and Manipulate Circular Programs. In: PEPM 2007: Proceedings of the ACM SIGPLAN 2007 Symposium on Partial Evaluation and Program Manipulation, pp. 102\u2013111. ACM Press (2007)","DOI":"10.1145\/1244381.1244399"},{"key":"42_CR15","doi-asserted-by":"crossref","unstructured":"Pardo, A., Fernandes, J.P., Saraiva, J.: Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation, pp. 1\u201335. Springer (2011)","DOI":"10.1007\/s10990-011-9076-x"},{"key":"42_CR16","first-page":"95","volume-title":"ACM SIGPLAN Haskell Workshop, Haskell 2007","author":"J.P. Fernandes","year":"2007","unstructured":"Fernandes, J.P., Pardo, A., Saraiva, J.: A shortcut fusion rule for circular program calculation. In: ACM SIGPLAN Haskell Workshop, Haskell 2007, pp. 95\u2013106. ACM, New York (2007)"},{"key":"42_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/3-540-46423-9_19","volume-title":"Compiler Construction","author":"J. Saraiva","year":"2000","unstructured":"Saraiva, J., Swierstra, S.D., Kuiper, M.F.: Functional incremental attribute evaluation. In: Watt, D.A. (ed.) CC 2000. LNCS, vol.\u00a01781, pp. 279\u2013294. Springer, Heidelberg (2000)"},{"key":"42_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-642-39643-4_32","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2013","author":"P. Martins","year":"2013","unstructured":"Martins, P., Carvalho, N., Fernandes, J., Almeida, J., Saraiva, J.: A framework for modular and customizable software analysis. In: Murgante, B., Misra, S., Carlini, M., Torre, C.M., Nguyen, H.-Q., Taniar, D., Apduhan, B.O., Gervasi, O. (eds.) ICCSA 2013, Part II. LNCS, vol.\u00a07972, pp. 443\u2013458. Springer, Heidelberg (2013)"},{"key":"42_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2009.10.024","volume":"255","author":"M. Campos","year":"2009","unstructured":"Campos, M., Barbosa, L.: Implementation of an orchestration language as a haskell domain specific language. Elect. Notes Theor. Comput. Sci.\u00a0255, 45\u201364 (2009)","journal-title":"Elect. Notes Theor. Comput. Sci."},{"key":"42_CR20","doi-asserted-by":"crossref","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS\/FORTE 2009. LNCS, vol.\u00a05522, pp. 1\u201325. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02138-1_1"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Gordon, A., Finne, S.: Concurrent haskell. In: 23rd Symposium on Principles of Programming Languages, POPL 1996, pp. 295\u2013308. ACM (1996)","DOI":"10.1145\/237721.237794"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09156-3_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T05:59:13Z","timestamp":1558936753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09156-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091556","9783319091563"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09156-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}