WPTE@FSCD

Keyphrases

Publications

volume 289, 2019

Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018. WPTE@FSCD 289 (2019)

2018

volume 265, 2018

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. WPTE@FSCD 265 (2018)

2017

Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. WPTE@FSCD (2017)
Shinnosuke Mizutani, Naoki Nishida
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. WPTE@FSCD (2017)
Liyi Li, Elsa L. Gunter
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. WPTE@FSCD (2017)
Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud
Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD (2017)
Koko Muroya, Dan R. Ghica
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD (2017)
Yutaro Nagae, Masahiko Sakai
Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems. WPTE@FSCD (2017)
Manfred Schmidt-Schauß, Nils Dallmeyer
Space Improvements and Equivalences in a Functional Core Language. WPTE@FSCD (2017)

volume 235, 2017

Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. WPTE@FSCD 235 (2017)

2016