Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	François Bourdoncle, Abstract debugging of higher-order imperative languages, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.46-55, June 21-25, 1993, Albuquerque, New Mexico, United States
	2	Edmund M. Clarke , Orna Grumberg , David E. Long, Verification Tools for Finite-State Concurrent Systems, A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, p.124-175, June 01-04, 1993
	3	Patrick Cousot, Abstract interpretation, ACM Computing Surveys (CSUR), v.28 n.2, p.324-328, June 1996  [doi>10.1145/234528.234740]
	4	P. Cousot. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. ENTCS, 6, 1997. URL: http://www, elsevier.nl/locate/entcs/volume6.html, 25 pages.
	5	Patrick Cousot, Types as abstract interpretations, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.316-331, January 15-17, 1997, Paris, France  [doi>10.1145/263699.263744]
	6	Patrick Cousot , Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.238-252, January 17-19, 1977, Los Angeles, California  [doi>10.1145/512950.512973]
	7	Patrick Cousot , Radhia Cousot, Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation, Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, p.269-295, August 26-28, 1992
	8	Patrick Cousot , Nicolas Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.84-96, January 23-25, 1978, Tucson, Arizona  [doi>10.1145/512760.512770]
	9	A. Deutsch, G. Gonthier, and M. Turin. La v4rification des programmes d'ariane. Pour la Science, 243:21-22, jan 1998. (in French).
	10	Nicolas Halbwachs , Yann-Erick Proy , Patrick Roumanoff, Verification of Real-Time Systems using Linear Relation Analysis, Formal Methods in System Design, v.11 n.2, p.157-185, Aug. 1997  [doi>10.1023/A:1008678014487 ]
	11	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	12	J.L. Lions. ARIANE 5 flight 501 failure, report by the inquiry board. http://www, esrin, esa. it / htdo cs/t idc / Press/Press9 6 / ariane5rep, ht ml.
	13	John M. Rushby, Automated Deduction and Formal Methods, Proceedings of the 8th International Conference on Computer Aided Verification, p.169-183, August 03, 1996
	14	Arnaud Venet, Automatic Determination of Communication Topologies in Mobile Systems, Proceedings of the 5th International Symposium on Static Analysis, p.152-167, September 14-16, 1998
	15	Renhard Wilhelm , Dieter Maurer , R. Wilhelm, Compiler Design, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1995

• Constructing reality Proceedings of the 11th annual international conference on Systems documentation
  Douglas A. Powell ,  Norman R. Ball ,  Mansel W. Griffiths
  
  
• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE conference on Design automation
  Gwo-Dong Chen ,  Daniel D. Gajski
  
  
• The GemStone object database management system Communications of the ACM   34, 10
  Paul Butterworth ,  Allen Otis ,  Jacob Stein