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.

[1]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[2]  M. Kimura,et al.  A model of evolutionary base substitutions and its application with special reference to rapid change of pseudogenes. , 1981, Genetics.

[3]  D. Maddison,et al.  NEXUS: an extensible file format for systematic information. , 1997, Systematic biology.

[4]  Neil D. Jones,et al.  An introduction to partial evaluation , 1996, CSUR.

[5]  Desh Ranjan,et al.  Semantics-Based Filtering: Logic Programming's Killer App? , 2002, PADL.

[6]  S. Altschul,et al.  Issues in searching molecular sequence databases , 1994, Nature Genetics.

[7]  Gopal Gupta,et al.  Horn Logic Denotations and Their Applications , 1999, The Logic Programming Paradigm.

[8]  Paul Hudak,et al.  Modular domain specific languages and tools , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[9]  Enrico Pontelli,et al.  Automatic Generation of Provably Correct Parallelizing Compilers , 1998, ICPP.

[10]  T. Jukes.  CHAPTER 24 – Evolution of Protein Molecules , 1969 .

[11]  John G. Gibbons.  Knowledge in Action , 2001 .

[12]  Desh Ranjan,et al.  Interoperability between Bioinformatics Tools: A Logic Programming Approach , 2001, PADL.

[13]  Charles Consel,et al.  Architecture Software Using: A Methodology for Language Development , 1998, PLILP/ALP.

[14]  Ziheng Yang,et al.  PAML: a program package for phylogenetic analysis by maximum likelihood , 1997, Comput. Appl. Biosci..

[15]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[16]  Wim Codenie,et al.  From custom applications to domain-specific frameworks , 1997, CACM.

[17]  Mats Carlsson,et al.  Parallel execution of prolog programs: a survey , 2001, TOPL.

[18]  D. Maddison,et al.  MacClade 4: analysis of phy-logeny and character evolution , 2003 .

[19]  Enrico Pontelli,et al.  A domain specific language framework for non-visual browsing of complex HTML structures , 2000, Assets '00.

[20]  J. Hein.  Unified approach to alignment and phylogenies. , 1990, Methods in enzymology.

[21]  J. Thompson,et al.  CLUSTAL W: improving the sensitivity of progressive multiple sequence alignment through sequence weighting, position-specific gap penalties and weight matrix choice. , 1994, Nucleic acids research.

[22]  Adam Cheyer,et al.  The Open Agent Architecture , 1997, Autonomous Agents and Multi-Agent Systems.