A pointer logic and certifying compiler.
Yiyun ChenLin GeBaojian HuaZhaopeng LiCheng LiuZhifang WangPublished in: Frontiers Comput. Sci. China (2007)
Keyphrases
- data structure
- programming language
- logic programming
- general purpose
- modal logic
- proof theory
- classical logic
- multi valued
- neural network
- propositional dynamic logic
- highly optimized
- logical framework
- automated reasoning
- defeasible logic
- set theory
- epistemic logic
- computer systems
- case study
- database
- sound and complete axiomatization