MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Unifying Theories of Programming" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 51 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Algebraic Foundations of the Unifying Theories of Programming  
  • by Der Universität Ulm, Walter Guttmann, Aus Großwardein, Universität Ulm, Direktor Prof, Dr. Helmuth, A. Partsch, Amtierender Dekan, Prof Dr, Helmuth A. Partsch, Erster Gutachter, Prof Dr, Helmuth A. Partsch, Dritter Gutachter, Prof Dr, Bernhard Möller
  • …Algebraic Foundations of the Unifying Theories of Programming Dissertation zur Erlangung des…
  • Add To MetaCart
  • Compositional Reasoning for Pointer Structures  
  • by Yifeng Chen, J. W. Sanders — 2006 — Proc. of 8th International Conference on Mathematics of Program Construction (MPC06
  • … that extends the parallel-by-merge of Unifying Theories of Programming, and apply that to unique decompositions…
  • Cited by 4 (1 self) – Add To MetaCart
  • The linear algebra of UTP  
  • by Bernhard Möller, Copyright C Bernhard Möller, Universität Augsburg, Bernhard Möller — 2006 — Mathematics of Program Construction
  • … of Programming of Hoare and He. 1 A Matrix View of UTP The Unifying Theories of Programming (UTP) developed in [1…
  • Cited by 2 (2 self) – Add To MetaCart
  • Towards a Time Model for CIRCUS  
  • by Adnan Sherif, He Jifeng — 2002 — In ICFEM02, LNCS 2495
  • … for Circus . The model is an extension to the model proposed by the unifying theories of programming and used…
  • Cited by 19 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB