Author:
De Michelis G.,Lanzarone G. A.,Simone C.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Böhm C., Jacopini G.: “Flow diagrams, Turing machines and languages with only two formation rules” CACM 9,5 1966
2. Clint M., Hoare C.A.R.: “Program proving: jumps and functions” Acta Informatica 1 1972
3. De Michelis G., Simone C.: “Well formed programs optimal with respect to structural complexity” Proc. GI-75 Conf. Springer Lecture Notes in Computer Science
4. Dijkstra E.W.: “Goto statement considered harmful” CACM 11,3 1968
5. Hoare C.A.R.: “An axiomatic basis for computer programming” CACM 12,10 1969