VMλ

A functional calculus for scientific discovery

Eijiro Sumii, Hideo Bannai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

We present VMλ, a formalization and implementation of the functional language VML. VML is a programming language proposed by discovery scientists for the purpose of assisting the process of knowledge discovery. It is a non-trivial extension of ML with hypothetical views. Operationally, a hypothetical view is a value with a representation that indicates how the value was created. The notion of hypothetical views has already been successful in the domain of genome analysis, and known to be useful in the process of knowledge discovery. However, VML as a programming language was only informally defined in English prose, and indeed found problematic both in theory and in practice. Thus, a proper definition and implementation of VML with formal foundations would be of great help to discovery science and hence corresponding domain sciences. This paper gives a solid foundation of VML by extending the standard simply typed call-by-value λ-calculus. Although this extension, VMλ, is simple and clear, its design required much care to find and fix problems of the original VML.We also present a real implementation of VMλ, written in Camlp4 as a conservative translator into OCaml. This implementation makes extensive use of labeled arguments and polymorphic variants – two advanced features of OCaml that originate in OLabl.

Original languageEnglish
Title of host publicationFunctional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings
EditorsZhenjiang Hu, Mario Rodriguez-Artalejo
PublisherSpringer Verlag
Pages290-304
Number of pages15
ISBN (Print)3540442332, 9783540442332
DOIs
Publication statusPublished - Jan 1 2002
Event6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 - Aizu, Japan
Duration: Sep 15 2002Sep 17 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2441
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002
CountryJapan
CityAizu
Period9/15/029/17/02

Fingerprint

Functional Calculus
Computer programming languages
Data mining
Knowledge Discovery
Programming Languages
Genes
Formalization
Calculus
Genome

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sumii, E., & Bannai, H. (2002). VMλ: A functional calculus for scientific discovery. In Z. Hu, & M. Rodriguez-Artalejo (Eds.), Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings (pp. 290-304). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2441). Springer Verlag. https://doi.org/10.1007/3-540-45788-7

VMλ : A functional calculus for scientific discovery. / Sumii, Eijiro; Bannai, Hideo.

Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings. ed. / Zhenjiang Hu; Mario Rodriguez-Artalejo. Springer Verlag, 2002. p. 290-304 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2441).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sumii, E & Bannai, H 2002, VMλ: A functional calculus for scientific discovery. in Z Hu & M Rodriguez-Artalejo (eds), Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2441, Springer Verlag, pp. 290-304, 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002, Aizu, Japan, 9/15/02. https://doi.org/10.1007/3-540-45788-7
Sumii E, Bannai H. VMλ: A functional calculus for scientific discovery. In Hu Z, Rodriguez-Artalejo M, editors, Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings. Springer Verlag. 2002. p. 290-304. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-45788-7
Sumii, Eijiro ; Bannai, Hideo. / VMλ : A functional calculus for scientific discovery. Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings. editor / Zhenjiang Hu ; Mario Rodriguez-Artalejo. Springer Verlag, 2002. pp. 290-304 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{111a41d0c3f1463bbbb2a160e6b7ca49,
title = "VMλ: A functional calculus for scientific discovery",
abstract = "We present VMλ, a formalization and implementation of the functional language VML. VML is a programming language proposed by discovery scientists for the purpose of assisting the process of knowledge discovery. It is a non-trivial extension of ML with hypothetical views. Operationally, a hypothetical view is a value with a representation that indicates how the value was created. The notion of hypothetical views has already been successful in the domain of genome analysis, and known to be useful in the process of knowledge discovery. However, VML as a programming language was only informally defined in English prose, and indeed found problematic both in theory and in practice. Thus, a proper definition and implementation of VML with formal foundations would be of great help to discovery science and hence corresponding domain sciences. This paper gives a solid foundation of VML by extending the standard simply typed call-by-value λ-calculus. Although this extension, VMλ, is simple and clear, its design required much care to find and fix problems of the original VML.We also present a real implementation of VMλ, written in Camlp4 as a conservative translator into OCaml. This implementation makes extensive use of labeled arguments and polymorphic variants – two advanced features of OCaml that originate in OLabl.",
author = "Eijiro Sumii and Hideo Bannai",
year = "2002",
month = "1",
day = "1",
doi = "10.1007/3-540-45788-7",
language = "English",
isbn = "3540442332",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "290--304",
editor = "Zhenjiang Hu and Mario Rodriguez-Artalejo",
booktitle = "Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings",
address = "Germany",

}

TY - GEN

T1 - VMλ

T2 - A functional calculus for scientific discovery

AU - Sumii, Eijiro

AU - Bannai, Hideo

PY - 2002/1/1

Y1 - 2002/1/1

N2 - We present VMλ, a formalization and implementation of the functional language VML. VML is a programming language proposed by discovery scientists for the purpose of assisting the process of knowledge discovery. It is a non-trivial extension of ML with hypothetical views. Operationally, a hypothetical view is a value with a representation that indicates how the value was created. The notion of hypothetical views has already been successful in the domain of genome analysis, and known to be useful in the process of knowledge discovery. However, VML as a programming language was only informally defined in English prose, and indeed found problematic both in theory and in practice. Thus, a proper definition and implementation of VML with formal foundations would be of great help to discovery science and hence corresponding domain sciences. This paper gives a solid foundation of VML by extending the standard simply typed call-by-value λ-calculus. Although this extension, VMλ, is simple and clear, its design required much care to find and fix problems of the original VML.We also present a real implementation of VMλ, written in Camlp4 as a conservative translator into OCaml. This implementation makes extensive use of labeled arguments and polymorphic variants – two advanced features of OCaml that originate in OLabl.

AB - We present VMλ, a formalization and implementation of the functional language VML. VML is a programming language proposed by discovery scientists for the purpose of assisting the process of knowledge discovery. It is a non-trivial extension of ML with hypothetical views. Operationally, a hypothetical view is a value with a representation that indicates how the value was created. The notion of hypothetical views has already been successful in the domain of genome analysis, and known to be useful in the process of knowledge discovery. However, VML as a programming language was only informally defined in English prose, and indeed found problematic both in theory and in practice. Thus, a proper definition and implementation of VML with formal foundations would be of great help to discovery science and hence corresponding domain sciences. This paper gives a solid foundation of VML by extending the standard simply typed call-by-value λ-calculus. Although this extension, VMλ, is simple and clear, its design required much care to find and fix problems of the original VML.We also present a real implementation of VMλ, written in Camlp4 as a conservative translator into OCaml. This implementation makes extensive use of labeled arguments and polymorphic variants – two advanced features of OCaml that originate in OLabl.

UR - http://www.scopus.com/inward/record.url?scp=84957027719&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957027719&partnerID=8YFLogxK

U2 - 10.1007/3-540-45788-7

DO - 10.1007/3-540-45788-7

M3 - Conference contribution

SN - 3540442332

SN - 9783540442332

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 290

EP - 304

BT - Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings

A2 - Hu, Zhenjiang

A2 - Rodriguez-Artalejo, Mario

PB - Springer Verlag

ER -