Typed Relational Conversion

Research outputpeer-review

Abstract

We address the problem of transforming typed functional programs into relational form. In this form, a program can be run in various “directions” with some arguments left free, making it possible to acquire different behaviors from a single specification. We specify the syntax, typing rules and semantics for the source language as well as its relational extension, describe the conversion and prove its correctness both in terms of typing and dynamic semantics. We also discuss the limitations of our approach, present the implementation of the conversion for the subset of OCaml and evaluate it on a number of realistic examples.
Original languageEnglish
Article number3
Pages (from-to)39-58
Number of pages19
JournalLecture Notes in Computer Science
Volume10788
Publication statusPublished - 19 Apr 2018

Cite this

Булычев, Д. Ю., Lozov, P., & Vyatkin, A. (2018). Typed Relational Conversion. Lecture Notes in Computer Science, 10788, 39-58. [3].
Булычев, Дмитрий Юрьевич ; Lozov, Peter ; Vyatkin, Andrei. / Typed Relational Conversion. In: Lecture Notes in Computer Science. 2018 ; Vol. 10788. pp. 39-58.
@article{49777ec7c5b3465683ff2371b8fcfa34,
title = "Typed Relational Conversion",
abstract = "We address the problem of transforming typed functional programs into relational form. In this form, a program can be run in various “directions” with some arguments left free, making it possible to acquire different behaviors from a single specification. We specify the syntax, typing rules and semantics for the source language as well as its relational extension, describe the conversion and prove its correctness both in terms of typing and dynamic semantics. We also discuss the limitations of our approach, present the implementation of the conversion for the subset of OCaml and evaluate it on a number of realistic examples.",
author = "Булычев, {Дмитрий Юрьевич} and Peter Lozov and Andrei Vyatkin",
year = "2018",
month = "4",
day = "19",
language = "English",
volume = "10788",
pages = "39--58",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer",

}

Булычев, ДЮ, Lozov, P & Vyatkin, A 2018, 'Typed Relational Conversion', Lecture Notes in Computer Science, vol. 10788, 3, pp. 39-58.

Typed Relational Conversion. / Булычев, Дмитрий Юрьевич; Lozov, Peter; Vyatkin, Andrei.

In: Lecture Notes in Computer Science, Vol. 10788, 3, 19.04.2018, p. 39-58.

Research outputpeer-review

TY - JOUR

T1 - Typed Relational Conversion

AU - Булычев, Дмитрий Юрьевич

AU - Lozov, Peter

AU - Vyatkin, Andrei

PY - 2018/4/19

Y1 - 2018/4/19

N2 - We address the problem of transforming typed functional programs into relational form. In this form, a program can be run in various “directions” with some arguments left free, making it possible to acquire different behaviors from a single specification. We specify the syntax, typing rules and semantics for the source language as well as its relational extension, describe the conversion and prove its correctness both in terms of typing and dynamic semantics. We also discuss the limitations of our approach, present the implementation of the conversion for the subset of OCaml and evaluate it on a number of realistic examples.

AB - We address the problem of transforming typed functional programs into relational form. In this form, a program can be run in various “directions” with some arguments left free, making it possible to acquire different behaviors from a single specification. We specify the syntax, typing rules and semantics for the source language as well as its relational extension, describe the conversion and prove its correctness both in terms of typing and dynamic semantics. We also discuss the limitations of our approach, present the implementation of the conversion for the subset of OCaml and evaluate it on a number of realistic examples.

M3 - Article

VL - 10788

SP - 39

EP - 58

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

M1 - 3

ER -

Булычев ДЮ, Lozov P, Vyatkin A. Typed Relational Conversion. Lecture Notes in Computer Science. 2018 Apr 19;10788:39-58. 3.