932
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Applications of the TAMPR Transformation System

      proceedings-article
      ,
      2nd Irish Workshop on Formal Methods (FM)
      Irish Workshop on Formal Methods
      2-3 July 1998
      Bookmark

            Abstract

            In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully automatic , rewrite-rule based program transformation system. From its initial implementation in 1970, TAMPR has evolved into a powerful tool for generating correct and efficient programs from specifications. The specification and transformation community has long claimed that program transformation and specification provides a powerful, labour-saving means of developing efficient and correct programs. What is the evidence for this statement? We present experience with using TAMPR transformation in applications which range from efficient implementation of numerical mathematical algorithms to inter-language transformation and the Year 2000 problem.

            Content

            Author and article information

            Conference
            July 1998
            July 1998
            : 1-14
            Affiliations
            [0001]School of Information and Software Engineering

            University of Ulster at Jordanstown

            Newtownabbey BT37 0QB

            United Kingdom.
            [0002]Technology Division

            Argonne National Laboratory

            Argonne IL 60439

            USA.
            Article
            10.14236/ewic/FM1998.5
            8a8b7235-fa93-4c47-acdc-21078e94b893
            © TJ Harmer et al. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            2nd Irish Workshop on Formal Methods
            FM
            2
            Cork, Ireland
            2-3 July 1998
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1998.5
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article