533
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      5th Irish Workshop on Formal Methods - Index

      proceedings-article

      , ,

      5th Irish Workshop on Formal Methods (IWFM)

      Formal Methods

      16-17 July 2001

      Bookmark

            Abstract

            IWFM'01 is the Fifth International Workshop in Formal Methods. It follows in the series of workshops organised by the Irish Formal Methods Special Interest Group (IFMSIG) and previously known as the Irish Workshop in Formal Methods. This year it was held in Dublin City University on 16-17 July, 2001.

            The workshop has traditionally been an occasion for scholars and industry experts from Europe and further a field to share knowledge and develop ideas within the general scope of the workshop, which covers a wide range of topics related to formal methods and foundations of computing.

            Main article text

            Papers:

            Steve Dunne Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness http://dx.doi.org/10.14236/ewic/IWFM2001.1

            Doug Goldson Multiprogram Design in the theory of Owicki and Gries http://dx.doi.org/10.14236/ewic/IWFM2001.2

            B. Aziz & G.W. Hamilton A Denotational Semantics for the Π-Calculus http://dx.doi.org/10.14236/ewic/IWFM2001.3

            Claus Pahl Observation and Abstract Behaviour in Specification and Implementation of State-based Systems http://dx.doi.org/10.14236/ewic/IWFM2001.4

            N. Reid, P. Kilpatrick & M. Clint Towards a Semantics for Multidimensional Array Assignment in Fortran 95 http://dx.doi.org/10.14236/ewic/IWFM2001.5

            Pascal Hitzler & Anthony Karel Seda VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM http://dx.doi.org/10.14236/ewic/IWFM2001.6

            Jim Woodcock & Ana Cavalcanti A Concurrent Language for Refinement http://dx.doi.org/10.14236/ewic/IWFM2001.7

            Author and article information

            Contributors
            Conference
            July 2001
            July 2001
            Article
            10.14236/ewic/IWFM2001.0
            d4ef2caf-c46c-40ba-b32e-402e7c0f2375

            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/

            5th Irish Workshop on Formal Methods
            IWFM
            5
            Dublin, Ireland
            16-17 July 2001
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article