968
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

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

      An Algebraic Specification of a Transformation Tool for Prolog Programs

      Published
      proceedings-article
      Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (AS)
      Theory and Practice of Algebraic Specifications
      25-26 September 1997
      Bookmark

            Abstract

            The paper reports about a case study in algebraic specification. It describes TransLog, a transformation tool for pure Prolog programs. TransLog supports the interactive transformation of (a part of) a program. Six transformation steps are supported: unfolding, folding, goal definition, argument permutation (an instance of goal replacement), goal switching and definition elimination. As much as possible, pure Prolog semantics are preserved. The tool is equipped with navigation options, which allow the user to switch from the current program to another program in a transformation sequence. TransLog has been implemented with the ASF+SDFMeta-environment. The paper focuses on the algebraic specification of the tool, not on the underlying theory of (logic) program transformation. The specification is presented at a global level, only the specification of the unfold and fold step is discussed more in depth.

            Content

            Author and article information

            Conference
            September 1997
            September 1997
            : 1-12
            Affiliations
            [0001]Programming Research Group, University of Amsterdam

            Amsterdam, The Netherlands
            Article
            10.14236/ewic/AL1997.7
            67344112-8df2-458b-9c18-cdec107ddf22
            © Jacob Brunekreef. Published by BCS Learning and Development Ltd. Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications, Amsterdam

            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/

            Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications
            AS
            2
            Amsterdam
            25-26 September 1997
            Electronic Workshops in Computing (eWiC)
            Theory and Practice of Algebraic Specifications
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/AL1997.7
            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