For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
271
views
1
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
1 collections
    4
    shares
      144
      similar
       All similar
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Tactics for Transformational Programming

      proceedings-article

      Author(s): ,

      Publication date (Print):

      Conference name: Proceedings of the 1st Irish Workshop on Formal Methods (FM)

      Conference theme: Irish Workshop on Formal Methods

      Conference date: 3-4 July 1997

      Keywords:

      Bookmark

            Abstract

            This paper discusses the relationship between transformational programming and theorem proving. It illustrates the use of the theorem proving environment as a basis for a program construction tool DEBATE 1 (Deduction Based Transformational Environment) which is under construction in University College Dublin. Using a theorem proving framework directly would require the user to be familiar with theorem proving details. The tool user should only be concerned with transformational programming steps and not with theorem proving activities. Therefore a layer of transformational tactics are discussed and presented. These tactics consist of the application of theoremproving tactics. However, they ensure that the user's only interaction with DEBATE are design decisions required within the transformational programming paradigm. The N Queens problem is used throughout the paper to demonstrate how the Isabelle theorem prover is adapted by a transformation tactic layer so that it may be used as a program construction tool.

            Content

            Author and article information

            Conference
            Publication date: September 1997
            Publication date (Print): September 1997
            Pages: 1-13
            Affiliations
            [0001]Department of Computer Science, University College Dublin

            Belfield, Dublin 4, Ireland.
            Article
            DOI: 10.14236/ewic/FM1997.9
            SO-VID: aa9e188b-d54a-400a-9551-e6ce2745acdd
            Copyright statement: © Rosemary Monahan et al. Published by BCS Learning and Development Ltd. Proceedings of the 1st Irish Workshop on Formal Methods, Dublin
            License:

            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/

            Conference name: Proceedings of the 1st Irish Workshop on Formal Methods
            Conference acronym: FM
            Conference number: 1
            Conference location: Dublin
            Conference date: 3-4 July 1997
            Conference sponsor: Electronic Workshops in Computing (eWiC)
            Conference theme: Irish Workshop on Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Series title: Electronic Workshops in Computing

            Data availability:

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

            Comments

            Comment on this article