1 Hit in 2.0 sec

LFTOP: An LF-Based Approach to Domain-Specific Reasoning

Jian-Min Pang, Paul Callaghan, Zhao-Hui Luo
2005 Journal of Computer Science and Technology  
LFTOP: An LF based approach to domain specic reasoning Pang, Jianmin How to cite: Pang, Jianmin (2006) LFTOP: An LF based approach to domain specic reasoning, Durham theses, Durham University.  ...  For domain-specific issues researchers focus mainly on the design and implementation of domain-specific languages (DSL) and pay little attention to the reasoning aspects.  ...  We present LFTOP -a new approach to domain-specific reasoning that is based on a type-theoretic logical framework (LF) but does not require the user to be an expert in type theory.  ... 
doi:10.1007/s11390-005-0526-y fatcat:u67u3mr4jvgjfomcepekpffl5a