Browsing by Author "Currie, David"

Now showing items 1-1 of 1

  • ZML:XML support for standard Z.

    Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David (2002-12-01)
    This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is based upon a comparison ...

David Currie has 6 co-authors in Research Commons.