用于系统发育推断的领域特定语言的设计与实现。

Design and implementation of a domain specific language for phylogenetic inference.

作者信息

Pontelli Enrico, Ranjan Desh, Gupta Gopal, Milligan Brook

机构信息

Knowledge Representation, Logic, and Advanced Programming Laboratory, Department of Computer Science, New Mexico State University, Box 30001/CS, Las Cruces, NM 88003 USA.

出版信息

J Bioinform Comput Biol. 2003 Jul;1(2):201-30. doi: 10.1142/s0219720003000101.

DOI:10.1142/s0219720003000101

PMID:15290770

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, 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.

摘要

领域专家在其专业领域内解决问题时，会在高度抽象的层面上进行思考和推理。我们展示了一种名为phi LOG的领域特定语言背后的设计和动机，以使生物学家能够在非常高的抽象层面上对系统发育推断问题的解决方案进行编程。通过基于表示语义和逻辑编程的软件工程框架，可自动获得该领域特定语言的实现基础设施（解释器、编译器、调试器）。