Category: version-programming


Tanabe’s Dissertation was Introduced in Journal of Functional Programming

Yudai Tanabe’s doctoral dissertation “A Programming Language with Versionswas introduced in “the PhD Abstracts” in the Journal of Functional Programming.

Poster on Polymorphism for Programing With Versions at ECOOP 2023 SRC

The poster titled “Polymorphism for Programming With Versions” authored by Luthfan Anshar Lubis was selected for the Student Research Competition (SRC) at the 37th European Conference on Object-Oriented Programming (ECOOP 2023) held at the University of Washington, Seattle, USA.

👉 Project

Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2023)

A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2023).
This paper was also presented at ‹Programming› 2022.

(more…)

Poster Presentations at PPL 2023

The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.

(more…)

Doctoral thesis defense by Yudai Tanabe

Yudai Tanabe had a public defense of his doctoral dissertation on “A Programming Language with Versions.” He designed a novel programming language that can handle multiple versions of a program from within a programming language. 

(more…)

SLE 2022 Paper on BatakJava, an OOP Language With Versions

The following paper is accepted by and presented at the International Conference on Software Language Engineering (SLE 2022), on of the SPLASH 2022 conferences held in December 2022 in Auckland, New Zealand. This is one of the results of our Programming with Versions project, which enables to use definitions of different versions in one program, and extends the core idea to an object-oriented programming language.

👉 Project: Programming with Versions

A COP 2022 Paper on Programming with Versions in Real-World Functional Languages

A paper entitled “A Step toward Programming with Versions in Real-World Functional Languages”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara was accepted by and presented at International Workshop on Context-Oriented Programming and Advanced Modularity.

Presentation on “A Functional Programming Language with Versions” (@ ‹Programming› 2022)

A paper entitled “A Functional Programming Language with Versions”, authored by Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara, is presented at The International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2022).

(more…)

PPL2022 Paper on Monadic Equational Reasoning (along with other paper and poster presentations)

Category 1: Original Paper

At the 24th JSSST SIG Programming and Programming Languages Workshop (PPL2022), the following paper was accepted by and presented.

  • Practical Aspects of Monadic Equational Reasoning in Coq (Saito, Affeldt)

Category 2: Paper Presentation

The following paper was also presented.

Category 3: Posters & Demos

The following posters and demos were also presented.

  • [poster & demo] Towards Type-Based Generation of Music (Cong)
  • [poster] Proposal of Enbugging-quiz and observation of student’s reactions (Tsunoda)
  • [poster & demo] Programming Learning Environment based on Design Recipe (Nose)

(more…)

Invited Talks on Version Programming Languages at COP’21

Tanabe and Lubis give the invited talks at the International Workshop on Context-Oriented Programming and Advanced Modularity (COP’21).

 

(more…)

Next page →
← Previous page