MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On Free Type Definitions in Z." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Encoding Object-Z in Isabelle/HOL  
  • by Graeme Smith, Florian Kammüller, Thomas Santen — 2002 — International Conference of Z and B Users (ZB 2002), volume 2272 of LNCS
  • … to maximal sets in Z, whereas the parameters to a free-type definition in Z can be arbitrary sets. The above…
  • Cited by 10 (5 self) – Add To MetaCart
  • Select Z Bibliography  
  • by Jonathan Bowen Oxford, Jonathan P. Bowen — 1995 — In Bowen et al
  • … specification of a proof tool. In Prehn and Toetenel [398], pages 356–370. 18. R. D. Arthan. On free type…
  • Add To MetaCart
  • Formal Methods in the Development of PREMO  
  • by D.J. Duke, D. A. Duce, D. J. Duke, D. J. Duke, P.J.W. ten Hagen, P. J. W. Ten Hagen, I. Herman, I. Herman, G. J. Reynolds, G. J. Reynolds — 1994 — Reports of the Centre for Mathematics and Computer Sciences (CWI), CS--R9465
  • … and constructed data types. This can be modelled by a free-type definition in Z, an extract of which follows: non…
  • Add To MetaCart
  • Formal Aspects of Computing Bibliography  
  • by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
  • …. [179] Michael Spivey. The consistency theorem for free type definitions in z (short communication…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB