Author:
Collberg Christian S.,Proebsting Todd A.
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference19 articles.
1. F. Bergadano, D. Gunetti, Inductive Logic Programming—From Machine Learning to Software Engineering, MIT Press, Cambridge, MA, 1995, iSBN 0-262-02393-8.
2. P.E. Black, Algorithms, data structures, and problems—terms and definitions for the CRC dictionary of computer science, engineering and technology, http://hissa.ncsl.nist.gov/~black/CRCDict.
3. M. Blum, Program checking, in: S. Biswas, K.V. Nori (Eds.), Proceedings of Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol. 560, Springer, Berlin, Germany, 1991, pp. 1–9.
4. M. Blum, Program result checking: a new approach to making programs more reliable, in: S.C. Andrzej Lingas, R.G. Karlsson (Eds.), Automata, Languages and Programming, 20th International Colloquium, Lecture Notes in Computer Science, Vol. 700, Springer, Lund, Sweden, 1993, pp. 1–14.
5. Designing programs that check their work;Blum;J. Assoc. Comput. Mech,1995