Phi-LOG: a domain specific language for solving phylogenetic inference problems.
Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language called Phi-LOG to enable biologists (domain experts) to program solutions to phylogenetic inference problems at a very high level of abstraction. The implementation infrastructure (interpreter, compiler, debugger) for the DSL is automatically obtained through a software engineering framework based on Denotational Semantics and Logic Programming.
Pontelli
E
E
Dept. Computer Science and Biology, New Mexico State University, NM, USA. epontell@cs.nmsu.edu
Ranjan
D
D
Milligan
B
B
Gupta
G
G
D003198:Computer Simulation; D003628:Database Management Systems; D030541:Databases, Genetic; D019143:Evolution, Molecular; D020869:Gene Expression Profiling / Q000379:methods*; D005786:Gene Expression Regulation / Q000502:physiology*; D008957:Models, Genetic; D010802:Phylogeny; D011381:Programming Languages; D012984:Software; D012985:Software Design; D014584:User-Computer Interface