Functional programming languages with logical variables: A linear logic view

John Darlington; Yi Ke Guo; Martin Köhler

doi:10.1007/3-540-57186-8_80

Functional programming languages with logical variables: A linear logic view

John Darlington, Yi Ke Guo, Martin Köhler

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

Abstract

The idea of introducing logical variables into functional programming languages has been proposed for some years, and many concrete languages with this feature have been developed. Recently the semantic features of the languages in this paradigm have been uniformly modelled using the constraint computation formalism [RJK92]. However, the operational behaviour of these languages has not been studied systematically. In this paper, we propose a linear logic formalization of the the computational behaviour of functional programming languages with logical variables. It is shown that, with the resource-consciousness of linear logic, the computation of the paradigm can be uniformly modelled as deduction in the logic. Therefore, the model provides the logical meaning for the computation as well as a general abstract machine for the implementation of these languages.

Original language	English
Title of host publication	Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings
Editors	Maurice Bruynooghe, Jaan Penjam
Publisher	Springer Verlag
Pages	201-219
Number of pages	19
ISBN (Print)	9783540571865
DOIs	https://doi.org/10.1007/3-540-57186-8_80
Publication status	Published - 1993
Externally published	Yes
Event	5th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1993 - Tallinn, Estonia Duration: 25 Aug 1993 → 27 Aug 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	714 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1993
Country/Territory	Estonia
City	Tallinn
Period	25/08/93 → 27/08/93

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.

Access to Document

10.1007/3-540-57186-8_80

Cite this

Darlington, J., Guo, Y. K., & Köhler, M. (1993). Functional programming languages with logical variables: A linear logic view. In M. Bruynooghe, & J. Penjam (Eds.), Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings (pp. 201-219). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 714 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-57186-8_80

Darlington, John ; Guo, Yi Ke ; Köhler, Martin. / Functional programming languages with logical variables : A linear logic view. Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings. editor / Maurice Bruynooghe ; Jaan Penjam. Springer Verlag, 1993. pp. 201-219 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6136a166d3314f6995ee538d97fa3b15,

title = "Functional programming languages with logical variables: A linear logic view",

abstract = "The idea of introducing logical variables into functional programming languages has been proposed for some years, and many concrete languages with this feature have been developed. Recently the semantic features of the languages in this paradigm have been uniformly modelled using the constraint computation formalism [RJK92]. However, the operational behaviour of these languages has not been studied systematically. In this paper, we propose a linear logic formalization of the the computational behaviour of functional programming languages with logical variables. It is shown that, with the resource-consciousness of linear logic, the computation of the paradigm can be uniformly modelled as deduction in the logic. Therefore, the model provides the logical meaning for the computation as well as a general abstract machine for the implementation of these languages.",

author = "John Darlington and Guo, \{Yi Ke\} and Martin K{\"o}hler",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 5th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1993 ; Conference date: 25-08-1993 Through 27-08-1993",

year = "1993",

doi = "10.1007/3-540-57186-8\_80",

language = "English",

isbn = "9783540571865",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "201--219",

editor = "Maurice Bruynooghe and Jaan Penjam",

booktitle = "Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings",

}

Darlington, J, Guo, YK & Köhler, M 1993, Functional programming languages with logical variables: A linear logic view. in M Bruynooghe & J Penjam (eds), Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 714 LNCS, Springer Verlag, pp. 201-219, 5th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1993, Tallinn, Estonia, 25/08/93. https://doi.org/10.1007/3-540-57186-8_80

Functional programming languages with logical variables: A linear logic view. / Darlington, John; Guo, Yi Ke; Köhler, Martin.
Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings. ed. / Maurice Bruynooghe; Jaan Penjam. Springer Verlag, 1993. p. 201-219 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 714 LNCS).

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

TY - GEN

T1 - Functional programming languages with logical variables

T2 - 5th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1993

AU - Darlington, John

AU - Guo, Yi Ke

AU - Köhler, Martin

PY - 1993

Y1 - 1993

N2 - The idea of introducing logical variables into functional programming languages has been proposed for some years, and many concrete languages with this feature have been developed. Recently the semantic features of the languages in this paradigm have been uniformly modelled using the constraint computation formalism [RJK92]. However, the operational behaviour of these languages has not been studied systematically. In this paper, we propose a linear logic formalization of the the computational behaviour of functional programming languages with logical variables. It is shown that, with the resource-consciousness of linear logic, the computation of the paradigm can be uniformly modelled as deduction in the logic. Therefore, the model provides the logical meaning for the computation as well as a general abstract machine for the implementation of these languages.

AB - The idea of introducing logical variables into functional programming languages has been proposed for some years, and many concrete languages with this feature have been developed. Recently the semantic features of the languages in this paradigm have been uniformly modelled using the constraint computation formalism [RJK92]. However, the operational behaviour of these languages has not been studied systematically. In this paper, we propose a linear logic formalization of the the computational behaviour of functional programming languages with logical variables. It is shown that, with the resource-consciousness of linear logic, the computation of the paradigm can be uniformly modelled as deduction in the logic. Therefore, the model provides the logical meaning for the computation as well as a general abstract machine for the implementation of these languages.

UR - https://openalex.org/W188474948

UR - https://www.scopus.com/pages/publications/85029512586

U2 - 10.1007/3-540-57186-8_80

DO - 10.1007/3-540-57186-8_80

M3 - Conference Paper published in a book

SN - 9783540571865

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

SP - 201

EP - 219

BT - Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings

A2 - Bruynooghe, Maurice

A2 - Penjam, Jaan

PB - Springer Verlag

Y2 - 25 August 1993 through 27 August 1993

ER -

Darlington J, Guo YK, Köhler M. Functional programming languages with logical variables: A linear logic view. In Bruynooghe M, Penjam J, editors, Programming Language Implementation and Logic Programming - 5th International Symposium, PLILP 1993, Proceedings. Springer Verlag. 1993. p. 201-219. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-57186-8_80

Functional programming languages with logical variables: A linear logic view

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this