Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space

Research output: Contribution to conferencePaper



Publication details

DatePublished - 1998
Original languageUndefined/Unknown


We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z with a combination of Z and predicative programming notation for algorithm refinement and for reasoning about time and space constraints on systems. We discuss the difficulty of using extended notations versus using heterogeneous notations, and consider when we might prefer to extend or combine notations. We conclude that there exist situations where a heterogeneous notation can be more appropriate to use than an extended notation.

Bibliographical note


Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations