Showing 1–7 of 7 results for author: Boulytchev, D

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

Authors: Daniil Berezun, Dmitry Boulytchev

Abstract: We report on a one-semester compiler construction course based on the idea of implementing a small self-contained compiler for a small model language from scratch, not using other compiler construction frameworks. The course is built around an evolving family of languages with increasing expressiveness and complexity, which finally is crowned by a language with first-class functions, S-expressions… ▽ More We report on a one-semester compiler construction course based on the idea of implementing a small self-contained compiler for a small model language from scratch, not using other compiler construction frameworks. The course is built around an evolving family of languages with increasing expressiveness and complexity, which finally is crowned by a language with first-class functions, S-expressions, pattern matching, and garbage collection. The code generation technique is based on the idea of symbolic interpreters, which allows to implement a robust albeit not a very efficient native code generator. We give the motivation for the course, describe its structure, and report some results of teaching based on students' post-course surveys. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: In Proceedings TFPIE 2021/22, arXiv:2207.11600

Journal ref: EPTCS 363, 2022, pp. 22-43

Scheduling Complexity of Interleaving Search

Authors: Dmitry Rozplokhas, Dmitry Boulytchev

Abstract: miniKanren is a lightweight embedded language for logic and relational programming. Many of its useful features come from a distinctive search strategy, called interleaving search. However, with interleaving search conventional ways of reasoning about the complexity and performance of logical programs become irrelevant. We identify an important key component -- scheduling -- which makes the reason… ▽ More miniKanren is a lightweight embedded language for logic and relational programming. Many of its useful features come from a distinctive search strategy, called interleaving search. However, with interleaving search conventional ways of reasoning about the complexity and performance of logical programs become irrelevant. We identify an important key component -- scheduling -- which makes the reasoning for miniKanren so different, and present a semi-automatic technique to estimate the scheduling impact via symbolic execution for a reasonably wide class of programs. △ Less

Submitted 4 March, 2022; v1 submitted 17 February, 2022; originally announced February 2022.

An Empirical Study of Partial Deduction for miniKanren

Authors: Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev

Abstract: We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language miniKanren. We identify a number of issues, caused by miniKanren peculiarities, and describe a novel approach to specialization based on partial deduction and supercompilation. The results of the evaluation demonstrate… ▽ More We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language miniKanren. We identify a number of issues, caused by miniKanren peculiarities, and describe a novel approach to specialization based on partial deduction and supercompilation. The results of the evaluation demonstrate successful specialization of relational interpreters. Although the project is at an early stage, we consider it as the first step towards an efficient optimization framework for miniKanren. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: In Proceedings VPT 2021, arXiv:2109.02001

Journal ref: EPTCS 341, 2021, pp. 73-94

Generic Programming with Combinators and Objects

Authors: Dmitrii Kosarev, Dmitry Boulytchev

Abstract: We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding to override the default behaviour of generated transformations. The support for polymorphic variant types complements the ability to describe composable data ty… ▽ More We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding to override the default behaviour of generated transformations. The support for polymorphic variant types complements the ability to describe composable data types with the ability to implement composable transformations. △ Less

Submitted 2 June, 2021; originally announced June 2021.

Certified Semantics for Relational Programming

Authors: Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev

Abstract: We present a formal study of semantics for the relational programming language miniKanren. First, we formulate a denotational semantics which corresponds to the minimal Herbrand model for definite logic programs. Second, we present operational semantics which models interleaving, the distinctive feature of miniKanren implementation, and prove its soundness and completeness w.r.t. the denotational… ▽ More We present a formal study of semantics for the relational programming language miniKanren. First, we formulate a denotational semantics which corresponds to the minimal Herbrand model for definite logic programs. Second, we present operational semantics which models interleaving, the distinctive feature of miniKanren implementation, and prove its soundness and completeness w.r.t. the denotational semantics. Our development is supported by a Coq specification, from which a reference interpreter can be extracted. We also derive from our main result a certified semantics (and a reference interpreter) for SLD resolution with cut and prove its soundness. △ Less

Submitted 16 September, 2020; v1 submitted 3 May, 2020; originally announced May 2020.

Typed Embedding of a Relational Language in OCaml

Authors: Dmitrii Kosarev, Dmitry Boulytchev

Abstract: We present an implementation of the relational programming language miniKanren as a set of combinators and syntax extensions for OCaml. The key feature of our approach is polymorphic unification, which can be used to unify data structures of arbitrary types. In addition we provide a useful generic programming pattern to systematically develop relational specifications in a typed manner, and addres… ▽ More We present an implementation of the relational programming language miniKanren as a set of combinators and syntax extensions for OCaml. The key feature of our approach is polymorphic unification, which can be used to unify data structures of arbitrary types. In addition we provide a useful generic programming pattern to systematically develop relational specifications in a typed manner, and address the problem of integration of relational subsystems into functional applications. △ Less

Submitted 30 December, 2018; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: In Proceedings ML/OCAML 2016, arXiv:1812.10891

Journal ref: EPTCS 285, 2018, pp. 1-22

Code Reuse With Transformation Objects

Authors: Dmitri Boulytchev

Abstract: We present an approach for a lightweight datatype-generic programming in Objective Caml programming language aimed at better code reuse. We show, that a large class of transformations usually expressed via recursive functions with pattern matching can be implemented using the single per-type traversal function and the set of object-encoded transformations, which we call transformation objects. Obj… ▽ More We present an approach for a lightweight datatype-generic programming in Objective Caml programming language aimed at better code reuse. We show, that a large class of transformations usually expressed via recursive functions with pattern matching can be implemented using the single per-type traversal function and the set of object-encoded transformations, which we call transformation objects. Object encoding allows transformations to be modified, inherited and extended in a conventional object-oriented manner. However, the data representation is kept untouched which preserves the ability to construct and pattern-match it in the usual way. Our approach equally works for regular and polymorphic variant types which makes it possible to combine data types and their transformations from statically typed and separately compiled components. We also present an implementation which allows us to automatically derive most functionality from a slightly augmented type descriptions. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Comments: 21 pages