Shirabe is temporarily read-only

We are updating Shirabe. Lookups and parsing are available, but changes and new sign-ins are paused. Please try again later.

shirabe.org
2)
Meaning
    1. EN In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification.
      More

Results