Formal Reasoning about Efficient Data Structures: A Case Study in ACL2.
José-Luis Ruiz-ReinaJosé Antonio Alonso JimenezMaría-José HidalgoFrancisco-Jesús Martín-MateosPublished in: LOPSTR (2003)
Keyphrases
- efficient data structures
- data structure
- qualitative reasoning
- case study
- test bed
- information systems
- formal methods
- formal theory
- information retrieval
- database systems
- formal model
- formal specification
- natural language learning
- complete axiomatization
- formal language
- mathematical theory
- cooperative
- genetic algorithm