Web Interface

• Collect links to

• • Transform definitions
  • Fast algorithms
  • Algorithm descriptions
  • Algorithm derivations
  • Applications
  • SPL rules and symbol definitions
  • Example SPL programs
  • Programs for verification and exploration
  • Benchmarking programs and data

Previous slide

Next slide

Back to first slide

View graphic version