ΦLOG: a domain specific language for solving phylogenetic inference problems

Author

Pontelli, E. ; Ranjan, D. ; Milligan, B. ; Gupta, G.

Author_Institution

Dept. Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA

fYear

2002

fDate

2002

Firstpage

9

Lastpage

20

Abstract

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 (DSL), called Φ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.

Keywords

biology computing; high level languages; logic programming; program compilers; program debugging; program interpreters; programming language semantics; ΦLOG; abstraction; compiler; debugger; denotational semantics; domain experts; domain specific language; interpreter; logic programming; phylogenetic inference; software engineering; Application software; Bioinformatics; Biological system modeling; Biology computing; Computer science; DSL; Domain specific languages; Phylogeny; Programming profession; Software engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Bioinformatics Conference, 2002. Proceedings. IEEE Computer Society

Print_ISBN

0-7695-1653-X

Type

conf

DOI

10.1109/CSB.2002.1039324

Filename

1039324