927
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

      A tactic language for reasoning about Z specifications

      proceedings-article
      3rd BCS-FACS Northern Formal Methods Workshop (NFM)
      BCS-FACS Northern Formal Methods Workshop
      14-15 September 1998
      Bookmark

            Abstract

            The syntax and semantics of a particular tactic language are defined. The language uses lazy evaluation to manage backtracking in the search space. It also uses pattern matching to associate names with formulae that will subsequently be passed as arguments to an inference rule. The result of the inference rule is accompanied by a revision of the association, so that corresponding formulae in the result may be passed as arguments to the next inference rule. The combination of this revision with lazy evaluation raises some problems for efficient implementation.

            Content

            Author and article information

            Contributors
            Conference
            September 1998
            September 1998
            : 1-18
            Affiliations
            [0001]Department of Computer Science, University of York, Heslington, York, YO10 5DD
            Article
            10.14236/ewic/NFM1998.16
            d762790e-c67a-49ed-84eb-00dd2fc433d1
            © Ian Toyn. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            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/

            3rd BCS-FACS Northern Formal Methods Workshop
            NFM
            3
            Ilkley, UK
            14-15 September 1998
            Electronic Workshops in Computing (eWiC)
            BCS-FACS Northern Formal Methods Workshop
            History
            Product

            1477-9358 BCS Learning & Development

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