Skip to main content

Functional Instrumentation of ActionScript Programs with Asil

  • Conference paper
Implementation and Application of Functional Languages (IFL 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7257))

Abstract

Within the context of the FITTEST project, one of our tasks was to instrument ActionScript bytecode, so that aspects of the execution of the running application are logged. Although the decision what to log and when requires manual intervention, the code itself can be weaved into the system automatically by means of aspect-oriented programming (AOP). In this paper we describe Asil, an AOP EDSL for instrumenting ActionScript bytecode, that is firmly based on well-known functional programming technique to provide abstraction mechanisms that other AOP languages tend to lack.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baresi, L., Young, M.: Test oracles. Tech. rep., Univ. of Oregon, Dept. of Comp. and Inf. Science (2001), http://ix.cs.uoregon.edu/~michal/pubs/oracles.pdf , CIS-TR-01-02

  2. Biermann, A.W., Feldman, J.A.: On the synthesis of Finite-State machines from samples of their behavior. IEEE Transactions on Computers C-21(6), 592–597 (1972)

    Article  MathSciNet  Google Scholar 

  3. 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–308. ACM (2010)

    Google Scholar 

  4. Cazzola, W.: Semantic Join Point Models: Motivations, Notions and Requirements. In: SPLAT 2006 (2006)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. Douence, R., Motelet, O., Südholt, M.: A Formal Definition of Crosscuts. In: Matsuoka, S. (ed.) Reflection 2001. LNCS, vol. 2192, pp. 170–186. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Harrison, R., Counsell, S., Nithi, R.: An evaluation of the MOOD set of object oriented software metrics. IEEE Transactions on Software Engineering 24(6), 491–496 (1998)

    Article  Google Scholar 

  8. Hilsdale, E., Hugunin, J.: Advice Weaving in AspectJ. In: AOSD 2004, pp. 26–35 (2004)

    Google Scholar 

  9. Hudson-Smith, A.: The future internet. Future Internet 1(1), 1–2 (2009)

    Article  Google Scholar 

  10. Juarez-Martinez, U., Olmedo-Aguirre, J.O.: A Join-point Model for Fine-grained Aspects. In: ECC 2008, pp. 126–131 (2008)

    Google Scholar 

  11. 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. 2072, pp. 327–353. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. 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. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  13. Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic generation of software behavioral models. In: Procd. of the 30th Int. Conf. on Software Engineering, pp. 501–510. ACM (2008)

    Google Scholar 

  14. Mcbride, C., Paterson, R.: Applicative Programming with Effects. JFP 18, 1–13 (2008)

    MATH  Google Scholar 

  15. Pachidi, S.: Software operation data mining: techniques to analyse how software operates in the field. Master’s thesis, Dept. Inf. & Comp. Sciences, Utrecht Univ. (2011), IKU-3317153

    Google Scholar 

  16. Prasetya, I.S.W.B., Middelkoop, A., Elyasov, A., Hage, J.: D6.1: FITTEST logging approach, project no. 257574, FITTEST future internet testing (2011)

    Google Scholar 

  17. Sulake: Habbo Hotel (2004), http://www.habbo.com/

  18. Sussman, G.J.: Scheme: An Interpreter for Extended Lambda Calculus. In: Memo 349. MIT AI Lab (1975)

    Google Scholar 

  19. 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–358. IEEE (2011)

    Google Scholar 

  20. Wadler, P.: Monads for Functional Programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol. 925, pp. 24–52. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Middelkoop, A., Elyasov, A.B., Prasetya, W. (2012). Functional Instrumentation of ActionScript Programs with Asil. In: Gill, A., Hage, J. (eds) Implementation and Application of Functional Languages. IFL 2011. Lecture Notes in Computer Science, vol 7257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34407-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34407-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34406-0

  • Online ISBN: 978-3-642-34407-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics