Course of value distinguishes the intentionality of programming languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Course of value distinguishes the intentionality of programming languages

Abstract

In this contribution, we propose to study the transformation of first order programs by course of value recursion. Our motivation is to show that this transformation provides a separation criterion for the intentionality of sets of programs. As an illustration, we consider two variants of the multiset path ordering, for the first, terms in recursive calls are compared with respect to the subterm property, for the second with respect to embedding. Under a quasi-interpretation, both characterize Ptime, the latter characterization being a new result. Once applied the transformation, we get respec- tively Ptime and Pspace thus proving that the latter set of programs contains more algorithms.
Fichier principal
Vignette du fichier
89bonfante.pdf (372.06 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00642731 , version 1 (18-11-2011)

Identifiers

  • HAL Id : hal-00642731 , version 1

Cite

Guillaume Bonfante. Course of value distinguishes the intentionality of programming languages. 2nd International Symposium on Information and Communication Technology - SoICT 2011, Oct 2011, Hanoi, Vietnam. ⟨hal-00642731⟩
137 View
125 Download

Share

Gmail Mastodon Facebook X LinkedIn More