Computational biology: a programming perspective

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Standard

Computational biology : a programming perspective. / Hartmann, Lars Røeboe; Jones, Neil; Simonsen, Jakob Grue; Vrist, Søren Bjerregaard.

Formal modeling: actors, open systems, biological systems. ed. / Gul Agha; Olivier Danvy; José Meseguer. Springer, 2011. p. 403-433 (Lecture notes in computer science, Vol. 7000).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Harvard

Hartmann, LR, Jones, N, Simonsen, JG & Vrist, SB 2011, Computational biology: a programming perspective. in G Agha, O Danvy & J Meseguer (eds), Formal modeling: actors, open systems, biological systems. Springer, Lecture notes in computer science, vol. 7000, pp. 403-433. https://doi.org/10.1007/978-3-642-24933-4_20

APA

Hartmann, L. R., Jones, N., Simonsen, J. G., & Vrist, S. B. (2011). Computational biology: a programming perspective. In G. Agha, O. Danvy, & J. Meseguer (Eds.), Formal modeling: actors, open systems, biological systems (pp. 403-433). Springer. Lecture notes in computer science Vol. 7000 https://doi.org/10.1007/978-3-642-24933-4_20

Vancouver

Hartmann LR, Jones N, Simonsen JG, Vrist SB. Computational biology: a programming perspective. In Agha G, Danvy O, Meseguer J, editors, Formal modeling: actors, open systems, biological systems. Springer. 2011. p. 403-433. (Lecture notes in computer science, Vol. 7000). https://doi.org/10.1007/978-3-642-24933-4_20

Author

Hartmann, Lars Røeboe ; Jones, Neil ; Simonsen, Jakob Grue ; Vrist, Søren Bjerregaard. / Computational biology : a programming perspective. Formal modeling: actors, open systems, biological systems. editor / Gul Agha ; Olivier Danvy ; José Meseguer. Springer, 2011. pp. 403-433 (Lecture notes in computer science, Vol. 7000).

Bibtex

@inbook{7061145b3840437db171aa70ef56af76,
title = "Computational biology: a programming perspective",
abstract = "Computation via biological devices has been the subject of close scrutiny since von Neumann{\textquoteright}s early work some 60 years ago. In spite of the many relevant works in this field, the notion of programming biological devices seems to be, at best, ill-defined. While many devices are claimed or proved to be computationally universal in some sense, the full step to a bona fide programming language is rarely taken, and one question is noticeable by its absence: If the device is universal, where are the programs? We begin with an extensive review of the literature on programming-related biocomputing; and briefly identify some strengths and shortcomings from a programming perspective. To show concretely what one could see as programming in biocomputing, we outline (from recent work) a computation model and a small programming language that are biologically more plausible than existing silicon-inspired models. Whether or not the model is biologically plausible in an absolute sense, we believe it sets a standard for a biological device that can be both universal and programmable. ",
author = "Hartmann, {Lars R{\o}eboe} and Neil Jones and Simonsen, {Jakob Grue} and Vrist, {S{\o}ren Bjerregaard}",
year = "2011",
doi = "10.1007/978-3-642-24933-4_20",
language = "English",
isbn = "978-3-642-24932-7",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "403--433",
editor = "Gul Agha and Olivier Danvy and Jos{\'e} Meseguer",
booktitle = "Formal modeling",
address = "Switzerland",

}

RIS

TY - CHAP

T1 - Computational biology

T2 - a programming perspective

AU - Hartmann, Lars Røeboe

AU - Jones, Neil

AU - Simonsen, Jakob Grue

AU - Vrist, Søren Bjerregaard

PY - 2011

Y1 - 2011

N2 - Computation via biological devices has been the subject of close scrutiny since von Neumann’s early work some 60 years ago. In spite of the many relevant works in this field, the notion of programming biological devices seems to be, at best, ill-defined. While many devices are claimed or proved to be computationally universal in some sense, the full step to a bona fide programming language is rarely taken, and one question is noticeable by its absence: If the device is universal, where are the programs? We begin with an extensive review of the literature on programming-related biocomputing; and briefly identify some strengths and shortcomings from a programming perspective. To show concretely what one could see as programming in biocomputing, we outline (from recent work) a computation model and a small programming language that are biologically more plausible than existing silicon-inspired models. Whether or not the model is biologically plausible in an absolute sense, we believe it sets a standard for a biological device that can be both universal and programmable.

AB - Computation via biological devices has been the subject of close scrutiny since von Neumann’s early work some 60 years ago. In spite of the many relevant works in this field, the notion of programming biological devices seems to be, at best, ill-defined. While many devices are claimed or proved to be computationally universal in some sense, the full step to a bona fide programming language is rarely taken, and one question is noticeable by its absence: If the device is universal, where are the programs? We begin with an extensive review of the literature on programming-related biocomputing; and briefly identify some strengths and shortcomings from a programming perspective. To show concretely what one could see as programming in biocomputing, we outline (from recent work) a computation model and a small programming language that are biologically more plausible than existing silicon-inspired models. Whether or not the model is biologically plausible in an absolute sense, we believe it sets a standard for a biological device that can be both universal and programmable.

U2 - 10.1007/978-3-642-24933-4_20

DO - 10.1007/978-3-642-24933-4_20

M3 - Book chapter

SN - 978-3-642-24932-7

T3 - Lecture notes in computer science

SP - 403

EP - 433

BT - Formal modeling

A2 - Agha, Gul

A2 - Danvy, Olivier

A2 - Meseguer, José

PB - Springer

ER -

ID: 170211794