WPTE 2022

9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Haifa, Israel

Part of FLoC 2022, affiliated with FSCD 2022

Sunday, July 31st, 2022

News

(NEW!) We will try to live stream the workshop over this Zoom link over this Zoom link.

(NEW!) The workshop schedule is available as part of the FLoC program.

About

The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.

COVID-19

We aim at organizing a physical workshop, with the possibility of hybrid attendance for spearkers or participants who are unable to attend physically due to any reason. As a backup solution, we will organize an online workshop. See more information on the FLoC website.

Previous WPTEs

Topics of Interest

Important Dates

Invited Talk

Akihisa YAMADA, National Institute of Advanced Industrial Science and Technology (AIST), Japan

Transforming Text to (and from) XML

In industry, there is a critical need for complying with laws, standards, and guidelines. However, there are hundreds of (versions of) international and regional standards and guidelines, and each of them has hundreds of clauses, referring to each other. In AIST, we are developing an XML-based framework to support human developers to navigate the vast amount of documents.

In this talk, I will introduce a Text-to-XML structuring tool TXtruct, a core ingredient of the aforementioned framework.

TXtruct is a language that can describe a text or XML grammar, and at the same time can describe a transformer. Despite the strength, the TXtruct interpreter is implemented in an elegant and minimalistic way, based on a string-diagrammatic semantics. We will discuss some important properties such as termination, productivity, and invertibility.

We will also explore the potential applications in the Termination Competitions and Confluence Competitions, where thousands of term rewrite systems are given in a different formats.

Program

Please check the latest version of the workshop schedule.

Accepted Papers

Program Committee

Steering Committee

Contact

Please contact wpte2022@easychair.org.