Advertisement

An Implementation of Object-Oriented Action Semantics in Maude

  • André Murbach Maidl
  • Cláudio Carvilhe
  • Martin A. Musicante
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5700)

Abstract

We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The syntax used by our tool is fairly similar to the one used by the original Action Semantics formalism. Furthermore, we present an Object-Oriented Action Semantics library of classes, capable of supporting constructive (object-oriented) action semantics.

Keywords

Programming Language Abstract Syntax Action Semantic Conservative Extension Concrete Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Araújo, M., Musicante, M.A.: Lfl: A library of generic classes for object-oriented action semantics. In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), Arica, Chile, November 11-12, 2004, pp. 39–47. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  2. 2.
    Braga, C., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 407–421. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  3. 3.
    Brown, D.F., Moura, H., Watt, D.A.: Actress: an action semantics directed compiler generator. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol. 641, pp. 95–109. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  4. 4.
    Carvilhe, C., Musicante, M.A.: Object-oriented action semantics specifications. Journal of Universal Computer Science 9(8), 910–934 (2003)Google Scholar
  5. 5.
    Chalub, F., Braga, C.: Maude msos tool. Technical report, Universidade Federal Fluminense (2005), http://maude-msos-tool.sourceforge.net/mmt-manual.pdf
  6. 6.
    Chalub, F., Braga, C.: Maude msos tool. In: Denker, G., Talcott, C. (eds.) Proceedings of 6th International Workshop on Rewriting Logic and its Applications, WRLA, Vienna, Austria. Elsevier, Amsterdam (2006)Google Scholar
  7. 7.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude manual, version 2.3 (2007), http://maude.cs.uiuc.edu/maude2-manual/html/
  8. 8.
    Braga, C.d.O., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 407–421. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  9. 9.
    Van Deursen, A., Mosses, P.D.: Asd: The action semantic description tools (1996)Google Scholar
  10. 10.
    Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. In: van den Brand, M., Parigot, D. (eds.) LDTA 2001. ENTCS, vol. 44.2. Elsevier, Amsterdam (2001)Google Scholar
  11. 11.
    Durán, F., Meseguer, J.: The Maude specification of Full Maude. Technical report, SRI International (1999)Google Scholar
  12. 12.
    Klint, P. (ed.): The asf+sdf meta-environment. Technical report, CWI, Centrum voor Wiskunde en Informatica, Amsterdam (1992), ftp://ftp.cwi.nl/pub/gipe/reports/SysManual.ps.Z
  13. 13.
    Labra Gayo, J.E.: Reusable semantic specifications of programming languages. In: SBLP 2002 - VI Brazilian Symposium on Programming Languages (2002)Google Scholar
  14. 14.
    Iversen, J.: Formalisms and tools supporting Constructive Action Semantics. PhD thesis, BRICS International PhD School (May 2005)Google Scholar
  15. 15.
    Maidl, A.M., Carvilhe, C., Musicante, M.A.: Maude object-oriented action tool. Electr. Notes Theor. Comput. Sci. 205, 105–121 (2008)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Maidl, A.M.: A maude implementation of object-oriented action semantics. Master’s thesis, Universidade Federal do Paraná (2007) (in portuguese)Google Scholar
  17. 17.
    Martí-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. Technical report, SRI International (1993)Google Scholar
  18. 18.
    Meseguer, J., Braga, C.d.O.: Modular rewriting semantics of programming languages. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 364–378. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    Mosses, P.D.: Action semantics. In: ADT (1986)Google Scholar
  20. 20.
    Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 26. Cambridge University Press, Cambridge (1992)CrossRefzbMATHGoogle Scholar
  21. 21.
    Mosses, P.D.: A modular SOS for Action Notation. BRICS RS 99-56, Dept. of Computer Science, Univ. of Aarhus (1999)Google Scholar
  22. 22.
    Mosses, P.D.: Modular structural operational semantics. J. Logic and Algebraic Programming 60-61, 195–228 (2004); Special issue on SOSMathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Mosses, P.D.: A constructive approach to language definition. Journal of Universal Computer Science 11(7), 1117–1134 (2005)Google Scholar
  24. 24.
    Moura, H., Menezes, L.C., Monteiro, M., Sampaio, P., Cansanção, W.: The abaco system: An action tool for programming language designers. In: AS 2002, pp. 1–8. Dept. of Computer Science (2002) BRICS NS-02-8Google Scholar
  25. 25.
    Plotkin, G.D.: A structural approach to operational semantics. J. Logic and Algebraic Programming 60-61, 17–139 (2004); Special issue on SOSMathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    van der Brand, M., Iversen, J., Mosses, P.D.: An action environment. Sci. Comput. Program. 61(3), 245–264 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Watt, D.A., Thomas, M.: Programming language syntax and semantics. Prentice Hall International (UK) Ltd, Hertfordshire (1991)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • André Murbach Maidl
    • 1
  • Cláudio Carvilhe
    • 2
  • Martin A. Musicante
    • 3
    • 4
  1. 1.Programa de Pós-Graduação em InformáticaUniversidade Federal do ParanáCuritibaBrazil
  2. 2.Departamento de InformáticaPontifícia Universidade Católica do ParanáCuritibaBrazil
  3. 3.Programa de Pós-Graduação em Sistemas e ComputaçãoUniversidade Federal do Rio Grande do NorteNatalBrazil
  4. 4.LIFO - Laboratoire d’Informatique Fondamentale d’OlréansUniversité d’OrleansFrance

Personalised recommendations