# Do anyone know what algebra of algorithms is?

Hello, does any one know what is algebra of algorithms or know other algorithms types that are written as math formula?

Hello, does any one know what is algebra of algorithms or know other algorithms types that are written as math formula?

## All Answers (5)

Sara Hockey· Iowa State UniversityIs a good source for info.

Meg Niziołek· Opole University of TechnologyDeletedCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization of the 4 color theorem or constructive mathematics at Nijmegen) and teaching.

url: http://coq.inria.fr/

Ali Hamlili· ENSIAS - Université Mohammed V Souissi (UM5S)Vincenzo Pallotta· La Haute Ecole d'Ingénierie et de Gestion du Canton de VaudThe important point is to give to these operators a "proper" semantics and also (when possible) a "calculus". Indeed with the calculus, one can formally study and prove the properties of an algorithm (e.g. if it doesn't enter into an infinite loop, deadlock in concurrent programs).

One foundational work of algebra of algorithms is that of Chandy and Misra:

http://books.google.ch/books?id=9BGPVwLTkh4C&pg=PA371&dq=Chandy+Misra+Springer&hl=en&sa=X&ei=Y7VpT7u2GKza4QTIq4iBCQ&ved=0CD0Q6AEwATiCAQ#v=onepage&q=Chandy%20Misra%20Springer&f=false

Can you help by adding an answer?