[PADS]

LearnPADS 1.00        
 License
 Distributions

 PADS Home

Release Notes

LearnPADS 1.00:
  • Initial release.
  • Requires PADS 2.01 or higher.
  • Tool documentation available in README
  • On-line demo available from PADS web site.
  • Description of algorithm available in POPL 2008 paper.