Hoare-Kalkül (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Hoare-Kalkül" in German language version.

refsWebsite

Global rank German rank

2^nd place

3^rd place

1^st place

1,041^st place

1,549^th place

doi.org

Charles Antony Richard Hoare: An Axiomatic Basis for Computer Programming (Memento vom 4. März 2016 im Internet Archive) (PDF; 659 kB). In: Communications of the ACM. Bd. 12, Nr. 10, 1969, S. 576–585, doi:10.1145/363235.363259.
Peter Liggesmeyer: Software-Qualität. 2. Auflage. Spektrum Akademischer Verlag, Heidelberg 2009, ISBN 978-3-8274-2056-5, S. 321–360, doi:10.1007/978-3-8274-2203-3.
Edmund M. Clarke: Programming Language Constructs for Which it is Impossible to Obtain Good Hoare-like Axiom Systems. In: Journal of the Association for Computing Machinery. Band 26, Nr. 1, 1979, S. 129–147, doi:10.1145/512950.512952.

Robert W. Floyd: Assigning meanings to programs. In: Proceedings of the American Mathematical Society Symposia on Applied Mathematics. Nr. 19, 1967, S. 19–31 (virginia.edu [PDF; 684 kB]).