TAJS - Type Analyzer for JavaScript Copyright 2009-2013 Aarhus University The following people have contributed to the source code: - Anders Moeller - Simon Holm Jensen - Peter Thiemann - Magnus Madsen - Matthias Diehn Ingesman - Peter Jonsson - Esben Andreasen This software includes components from: - Google Closure Compiler (http://code.google.com/p/closure-compiler/) - JDOM (http://www.jdom.org/) - JTidy (http://jtidy.sourceforge.net/) - Log4j (http://logging.apache.org/log4) For information about this tool see http://www.brics.dk/TAJS