From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition.
Yong XiaoAmr SabryZena M. AriolaPublished in: High. Order Symb. Comput. (2001)
Keyphrases
- natural language
- description language
- virtual machine
- syntactic semantic
- hierarchical decomposition
- design theory
- theorem proving
- theoretical framework
- decomposition algorithm
- decomposition methods
- formal models
- linear logic
- theorem prover
- computational models
- parse tree
- decomposition method
- cognitive psychology
- causal reasoning
- image decomposition
- logic programming
- syntactic analysis
- data sets