કાર્યક્રમ કાર્યક્ષમતા ખાસ પ્રમેયો અને રુટ ગુણધર્મો મદદથી, બંને આંતરિક નિર્માણ એલ્ગોરિધમ્સ ઉપયોગ કરવા માટે, અને તે જાતે લખવા માટે પરવાનગી આપે છે.