Mathematics of Program Construction

mathematics of program construction What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity to do every time. And do you know our friends become fans of mathematics of program construction as the best book to read? Yeah, it's neither an obligation nor order. It is the referred book that will not make you feel disappointed.

[1]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[2]  Ralph-Johan Back,et al.  Refinement Calculus: A Systematic Introduction , 1998 .

[3]  Manfred Broy,et al.  Adding fair choice to Dijkstra's calculus , 1994, TOPL.

[4]  Ben Strulo.  How Firing Conditions Help Inheritance , 1995, ZUM.

[5]  John Derrick,et al.  Refinement and verification of concurrent systems specified in Object-Z and CSP , 1997, First IEEE International Conference on Formal Engineering Methods.

[6]  Ambuj K. Singh.  Program Refinement in Fair Transition Systems , 1991, PARLE.

[7]  Kaisa Sere,et al.  A Theory of Prioritizing Composition , 1996, Comput. J..

[8]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[9]  Carroll Morgan,et al.  The specification statement , 1988, TOPL.

[10]  Avelino Francisco Zorzo,et al.  Rigorous development of a safety-critical system based on coordinated atomic actions , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[11]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[12]  K. Rustan M. Leino,et al.  Data groups: specifying the modification of extended state , 1998, OOPSLA '98.

[13]  Colin Stirling,et al.  A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language , 1988, Theor. Comput. Sci..

[14]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

[15]  Valentin F. Turchin,et al.  The concept of a supercompiler , 1986, TOPL.

[16]  Ralph-Johan Back,et al.  Reasoning algebraically about loops , 1999, Acta Informatica.

[17]  Jim Woodcock,et al.  More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement , 1998, ZUM.

[18]  Joseph M. Morris,et al.  A Theoretical Basis for Stepwise Refinement and the Programming Calculus , 1987, Sci. Comput. Program..

[19]  Ralph-Johan Back,et al.  Refinement of fair action systems , 1998, Acta Informatica.