Efficient Extensional Binary Tries
Andrew W. Appel, Xavier Leroy
Topics & Concepts
ExtensionalitySoundnessComputer scienceTheoretical computer scienceMathematical proofData structureBinary treeCorrectnessTrieConstructiveContext (archaeology)Binary numberAbstract data typeMathematicsAlgorithmProgramming languageArithmeticProcess (computing)PaleontologyGeometryBiologyLogic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge