The role of beta conversion in functional programming.

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F18%3A10239118" target="_blank" >RIV/61989100:27240/18:10239118 - isvavai.cz</a>

Result on the web

<a href="http://ebooks.iospress.nl/publication/48571" target="_blank" >http://ebooks.iospress.nl/publication/48571</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/978-1-61499-834-1-280" target="_blank" >10.3233/978-1-61499-834-1-280</a>

Result language

angličtina

Original language name

The role of beta conversion in functional programming.

Original language description

The paper deals with the fundamental computational rule of functional programming languages, namely the rule of beta conversion. This rule specifies the way in which a function f is applied to its argument a. There are two possible ways of executing the conversion, to wit &apos;by name&apos; and &apos;by value&apos;. It has been proved that these two ways are not operationally equivalent, and, which is worse, the execution by name is not a denotationally equivalent transformation in the logic of partial functions. Since Transparent Intensional Logic (TIL) is a partial, typed lambda calculus, we examine the validity of the rule in TIL, or rather in its computational variant the TIL-Script language. We show that there are contexts in which the rule by name can be validly applied. The main result is the specification of such contexts, and comparison with the reduction by value. To this end, we present a tool that recognizes a context in which a formal parameter of a given calling procedure occurs and interactively navigates the user to a correct way of reduction. In case of an invalid way the program informs the user about the problem and warns against undesirable side effects. As a result, the program proposes to execute the rule by value.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensional logic for natural language analysis</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Frontiers in Artificial Intelligence and Applications. Volume 301

ISBN

978-1-61499-833-4

ISSN

0922-6389

e-ISSN

—

Number of pages

19

Pages from-to

280-298

Publisher name

IOS Press

Place of publication

Amsterodam

Event location

Krabi

Event date

Jun 5, 2017

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—