The pr-department proudly presents the following list of activities. ---++ Talks PHP-sat has been the subject of the following talks: * 2006-11-09: [[http://www.cs.uu.nl/wiki/Stc/PHP-Sat-AnalyzingPHP][Software Technology Colloquium]] [[http://www.cs.uu.nl/wiki/pub/Stc/PHP-Sat-AnalyzingPHP/slides.pdf][(slides)]] * 2006-11-30:[[Stratego.SeventhStrategoUserDays][Seventh Stratego User Days]] [[ftp://ftp.stratego-language.org/pub/stratego/SUD06/sud06-php-sat.pdf][(slides)]] ---++ Paper The following paper is available for download: * [[http://www.program-transformation.org/pub/PHP/TalksAndPapers/analyzing_php.pdf][Analyzing PHP, An introduction to PHP-Sat]]
This paper has been written as part of the [[http://www.cs.uu.nl/wiki/Stc/WebHome][Software Technology Colloquium]]. -- Main.EricBouwers - 18 Feb 2007