Lab for Automated Reasoning and Analysis LARA

htmldoc

Here is an example use of htmldoc use to create a pdf file for the lectures.

htmldoc --book --nup 2 -f lecture12.pdf \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:applications_of_data-flow_analysis \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:concrete_execution_as_data-flow_analysis \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:designing_correct_data-flow_analyses \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:termination_of_data-flow_analysis \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:java_definite_assignments \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:initialization_analysis \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:live_variable_analysis \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:range_analysis \
  http://lara.epfl.ch/dokuwiki/doku.php?id=compilation:typestate_analysis
 
htmldoc.txt · Last modified: 2008/12/05 21:15 by vkuncak
 
© EPFL 2018 - Legal notice