Skip to main content
SpringerLink
Log in

TrapML — A metalanguage for transformational programming

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

This paper proposes a metalanguage TrapML for transformational programming, which is designed based on the analysis of its design principles, structures and functions. It has the facilities to describe the syntax of object languages, the set of transformation rules and strategies. The behaviour of transformation systems can be conveniently expressed. Both accurate and vague strategies can be written in TrapML. Metaprogram is of higher reliability.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. H. Partsch, and R. Steinbruggen, Program transformation systems,ACM Computing Surveys,15: 3 (1983), 199–236.

    Article  MathSciNet  Google Scholar 

  2. M. S. Feather, A Survey and Classification of Some Program Transformation Approaches and Techniques, Program Specification and Transformation, L.G.L.T. Meertens (ed.) IFIP, North-Holland, 1987, 165–195.

    Google Scholar 

  3. Jin Lingzi, Research on the Metalanguage for Transformational Programming, Ph.D thesis, Nanjing University, Oct. 1987.

  4. Jin Lingzi, Zhu Hong and Xu Jiafu, NDTPS—An Experimental Metalanguage Transformational Programming System, proceedings of 1989 International Conference on New Generation Computer Systems, 360–366.

  5. J. Backus, Is Computer Science Based on the Wrong Fundamental Concept of ‘Program’? An Extended Concept, Algorithmic Languages, de Bakker & van Vliet (eds), IFIP, North-Holland, 1981.

    Google Scholar 

  6. J. Backus, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs,C. ACM,21: 8 (1978), 613–641.

    Article  MATH  MathSciNet  Google Scholar 

  7. N. Islam, T. J. Myers, and P. Broome, A Simple Optimizer for FP-like Languages, Proc. ACM 1981 Conf. on Functional Programming Languages and Computer Architecture, 33–39.

  8. M. J. O’ Donnell, Equational Logic as a Programming Language, The MIT Press, 1985.

  9. M. S. Feather, A system for assisting program transformation,ACM Transactions on Programming Languages and Systems,4:1 (1982). 1–20.

    Article  MATH  Google Scholar 

  10. R. M. Burstall, and J. Darlington, A transformation system for developing recursive programs,J. ACM,24: 1 (1977), 46–67.

    Article  MathSciNet  Google Scholar 

  11. J. Darlington, Program Transformation in the ALICE Project, Program Transformation and Programming Environments, (P. Pepper ed.) Springer-Verlag, 1984, 347–354.

  12. J. Darlington, The Structured Description of Algorithm Derivations, Algorithmic Languages de Bakker & van Vliet (eds), IFIP, North-Halland, 1981, 221–250.

    Google Scholar 

  13. R. M. Burstall, D. B. MacQueen, and D. T. Sannella, HOPE: An Experimental Applicative Language, University of Edinburgh, Internal Report CSR-62-80, May 1980.

  14. D. S. Wile, Program developments: formal explanations of implementations,C. ACM,26: 11 (1983).

    Google Scholar 

  15. R. Cameron, and M. R. Ito, Grammar-based definition of metaprogramming system,ACM Transactions on Programming Languages and Systems,6: 1 (1984), 20–54.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Nanjing University, Nanjing, China

    Jin Lingzi

Authors
  1. Jin Lingzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jin, L. TrapML — A metalanguage for transformational programming. J. of Comput. Sci. & Technol. 5, 388–399 (1990). https://doi.org/10.1007/BF02945291

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02945291

Keywords

Search

Navigation