Design and implementation of a domain specific language for phylogenetic inference.
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 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.
Knowledge Representation, Logic, and Advanced Programming Laboratory, Department of Computer Science, New Mexico State University, Box 30001/CS, Las Cruces, NM 88003 USA. epontell@cs.nmsu.edu
Enrico
E
Pontelli
Desh
D
Ranjan
Gopal
G
Gupta
Brook
B
Milligan
D000465:Algorithms; D019295:Computational Biology / Q000379:methods*; D020869:Gene Expression Profiling / Q000379:methods*; D010802:Phylogeny; D011381:Programming Languages; D017421:Sequence Analysis / Q000379:methods*; D012984:Software; D012985:Software Design