{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T20:50:50Z","timestamp":1759092650906},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344060"},{"type":"electronic","value":"9783642344077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34407-7_1","type":"book-chapter","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T00:58:14Z","timestamp":1352163494000},"page":"1-16","source":"Crossref","is-referenced-by-count":8,"title":["Functional Instrumentation of ActionScript Programs with Asil"],"prefix":"10.1007","author":[{"given":"Arie","family":"Middelkoop","sequence":"first","affiliation":[]},{"given":"Alexander B.","family":"Elyasov","sequence":"additional","affiliation":[]},{"given":"Wishnu","family":"Prasetya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Baresi, L., Young, M.: Test oracles. Tech. rep., Univ. of Oregon, Dept. of Comp. and Inf. Science (2001), \n                  \n                    http:\/\/ix.cs.uoregon.edu\/~michal\/pubs\/oracles.pdf\n                  \n                  \n                , CIS-TR-01-02"},{"issue":"6","key":"1_CR2","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"C-21","author":"A.W. Biermann","year":"1972","unstructured":"Biermann, A.W., Feldman, J.A.: On the synthesis of Finite-State machines from samples of their behavior. IEEE Transactions on Computers\u00a0C-21(6), 592\u2013597 (1972)","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Brady, E.C., Hammond, K.: Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. In: Procd. of 15th ACM SIGPLAN Int. Conf. on Functional Programming, ICFP 2010, pp. 297\u2013308. ACM (2010)","DOI":"10.1145\/1863543.1863587"},{"key":"1_CR4","unstructured":"Cazzola, W.: Semantic Join Point Models: Motivations, Notions and Requirements. In: SPLAT 2006 (2006)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Dantas, D.S., Walker, D., Washburn, G., Weirich, S.: AspectML: A polymorphic aspect-oriented functional programming language. ACM Transactions on Programming Languages and Systems 30(3) (May 2008)","DOI":"10.1145\/1353445.1353448"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-45429-2_13","volume-title":"Metalevel Architectures and Separation of Crosscutting Concerns","author":"R. Douence","year":"2001","unstructured":"Douence, R., Motelet, O., S\u00fcdholt, M.: A Formal Definition of Crosscuts. In: Matsuoka, S. (ed.) Reflection 2001. LNCS, vol.\u00a02192, pp. 170\u2013186. Springer, Heidelberg (2001)"},{"issue":"6","key":"1_CR7","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1109\/32.689404","volume":"24","author":"R. Harrison","year":"1998","unstructured":"Harrison, R., Counsell, S., Nithi, R.: An evaluation of the MOOD set of object oriented software metrics. IEEE Transactions on Software Engineering\u00a024(6), 491\u2013496 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hilsdale, E., Hugunin, J.: Advice Weaving in AspectJ. In: AOSD 2004, pp. 26\u201335 (2004)","DOI":"10.1145\/976270.976276"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3390\/fi1010001","volume":"1","author":"A. Hudson-Smith","year":"2009","unstructured":"Hudson-Smith, A.: The future internet. Future Internet\u00a01(1), 1\u20132 (2009)","journal-title":"Future Internet"},{"key":"1_CR10","unstructured":"Juarez-Martinez, U., Olmedo-Aguirre, J.O.: A Join-point Model for Fine-grained Aspects. In: ECC 2008, pp. 126\u2013131 (2008)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Lee, S.H. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-Oriented Programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezz\u00e8, M.: Automatic generation of software behavioral models. In: Procd. of the 30th Int. Conf. on Software Engineering, pp. 501\u2013510. ACM (2008)","DOI":"10.1145\/1368088.1368157"},{"key":"1_CR14","first-page":"1","volume":"18","author":"C. Mcbride","year":"2008","unstructured":"Mcbride, C., Paterson, R.: Applicative Programming with Effects. JFP\u00a018, 1\u201313 (2008)","journal-title":"JFP"},{"key":"1_CR15","unstructured":"Pachidi, S.: Software operation data mining: techniques to analyse how software operates in the field. Master\u2019s thesis, Dept. Inf. & Comp. Sciences, Utrecht Univ. (2011), IKU-3317153"},{"key":"1_CR16","unstructured":"Prasetya, I.S.W.B., Middelkoop, A., Elyasov, A., Hage, J.: D6.1: FITTEST logging approach, project no. 257574, FITTEST future internet testing (2011)"},{"key":"1_CR17","unstructured":"Sulake: Habbo Hotel (2004), \n                  \n                    http:\/\/www.habbo.com\/"},{"key":"1_CR18","unstructured":"Sussman, G.J.: Scheme: An Interpreter for Extended Lambda Calculus. In: Memo 349. MIT AI Lab (1975)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Vos, T.E.J., Tonella, P., Wegener, J., Harman, M., Prasetya, W., Puoskari, E., Nir-Buchbinder, Y.: Future Internet Testing with FITTEST. In: 2011 15th European Conference on Software Maintenance and Reengineering (CSMR), pp. 355\u2013358. IEEE (2011)","DOI":"10.1109\/CSMR.2011.51"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Advanced Functional Programming","author":"P. Wadler","year":"1995","unstructured":"Wadler, P.: Monads for Functional Programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925, pp. 24\u201352. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34407-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:52:45Z","timestamp":1620132765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34407-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344060","9783642344077"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34407-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}