Module: ppl/w3ppl Branch: master Commit: d94cb0c0ac21d2be3e299da99dfd6f0d4c705a31 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d94cb0c0ac2...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun May 16 11:24:48 2010 +0200
Fixed CousotC79.
---
htdocs/Documentation/ppl.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index ccafdd8..f90eb93 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -1349,7 +1349,7 @@ Booktitle = "Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages", Publisher = "ACM Press", - Address = "New York", + Address = "San Antonio, TX, USA", Pages = "269--282", Year = 1979, Abstract = "Semantic analysis of programs is essential in optimizing