Certification and Specialization Techniques

Techniques for making an algorithm checkable or faster by adapting it to what is known at run time. It covers algorithms that return a proof alongside their answer so that the result can be verified independently, and the practice of generating a specialized version of an algorithm once the values of some inputs are fixed. An entry belongs here when it describes a method applied to algorithms in general. It excludes the classes of algorithm defined by behavior, which have their own group.