Locally Testable Code (Paperback)

High Quality Content by WIKIPEDIA articles! In theoretical computer science, a locally testable code is an error correcting code for which membership can be tested by a non-adaptive property testing algorithm. Locally testable codes have applications in average-case complexity and the design of probabilistically checkable proofs. Branch of computer science: See The Journal of Theoretical Computer Science. Theoretical computer science(s) (TCS) are divisions or subsets of general Computer Science and focus on more abstract and mathematical aspects of computing. These divisions and subsets include (1) analysis of algorithms and (2) semantics of programming languages. Technically, there are hundreds of divisions and subsets besides the basic two listed above.