Bibliography

1

AltaVista - Adding pages or URLs to the index.
http://www.altavista.com/cgi-bin/query?pg=addurl.

2

Francesco Bergadano and Daniele Gunetti.
Inductive Logic Programming - From Machine Learning to Software Engineering.
MIT Press, 1995.
ISBN 0-262-02393-8.

3

Paul 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.

4

Manuel Blum.
Program checking.
In Somenath Biswas and Kesav V. Nori, editors, Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 560 of LNCS, pages 1-9, Berlin, Germany, December 1991. Springer.

5

Manuel Blum.
Program result checking: A new approach to making programs more reliable.
In Svante Carlsson Andrzej Lingas, Rolf G. Karlsson, editor, Automata, Languages and Programming, 20th International Colloquium, volume 700 of Lecture Notes in Computer Science, pages 1-14, Lund, Sweden, 5-9 July 1993. Springer-Verlag.

6

Manuel Blum and Sampath Kannan.
Designing programs that check their work.
Journal of the ACM, 42(1):269-291, January 1995.

7

Michael Clark and Bernadette Mohan.
The Oxford-DUDEN Pictorial English Dictionary.
Oxford University Press, 1995.
ISBN 0-19-861311-3.

8

Christian Collberg and Clark Thomborson.
Software watermarking: Models and dynamic embeddings.
In Principles of Programming Languages 1999, POPL'99, San Antonio, TX, January 1999.
http://www.cs.auckland.ac.nz/ collberg/Research/Publications/CollbergTh omborson99a/index.html.

9

Jack W. Davidson and Christopher W. Fraser.
Automatic generation of peephole optimizations.
In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, pages 111-116. ACM, ACM, 1984.

10

Funda Ergün, Sampath Kannan, S. Ravi Kumar, Ronitt Rubinfeld, and Mahesh Vishwanathan.
Spot-checkers.
In Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC-98), pages 259-268, New York, May 23-26 1998. ACM Press.

11

David Grambs.
The Describer's Dictionary.
W. W. Norton & Company, 1995.
ISBN 0-393-31265-8.

12

Ralph E. Griswold and Madge T. Griswold.
The Icon Programming Language.
Prentice Hall, Englewood Cliffs, NJ, 2 edition, 1990.

13

Sampath Kannan and Todd A. Proebsting.
Register allocation in structured programs.
Journal of Algorithms, 29(2):223-237, November 1998.

14

Zheng YL Leiwo J.
A method to implement a denial of service protection base.
In INFORMATION SECURITY AND PRIVACY, volume 1270 of LNCS, pages 90-101, Berlin, Germany, 1997. Springer.

15

Stéphanie Petit.
Encyclopedia of combinatorial structures.
http://algo.inria.fr/encyclopedia.

16

Ronitt Rubinfeld.
Batch checking with applications to linear functions.
INFORMATION PROCESSING LETTERS, 42(2):77-80, May 1992.

17

Ronitt Rubinfeld.
Designing checkers for programs that run in parallel.
ALGORITHMICA, 15(4):287-301, April 1996.

18

Neil J. A. Sloane.
Sloane's on-line encyclopedia of integer sequences.
http://www.research.att.com/ njas/sequences/index.html.

19

Hal Wasserman and Manuel Blum.
Software reliability via run-time result-checking.
Journal of the ACM, 44(6):826-849, November 1997.

20

Eric Weisstein.
Encyclopedia of mathematics.
http://www.treasure-troves.com/math.