The dynamic pattern calculus as a higher-order pattern rewriting system
Authors: Vincent van Oostrom and Femke van Raamsdonk
Paper Information
| Title: | The dynamic pattern calculus as a higher-order pattern rewriting system |
| Authors: | Vincent van Oostrom and Femke van Raamsdonk |
| Proceedings: | HOR 2014 Workshop Proceedings |
| Editor: | Kristoffer Rose |
| Keywords: | dynamic pattern calculus, embedding, (weak) orthogonality, transfer of meta-theory |
| Abstract: | ABSTRACT. We show that Jay and Kesner’s dynamic pattern calculus can be embedded into a higher-order pattern rewriting systems in the sense of Nipkow. Metatheoretical results, such as confluence and standardisation, are shown to obtain for the dynamic pattern calculus as a consequence of this embedding. The embedding also opens a way to study the semantics of Jay’s programming language Bondi based on pattern matching. |
| Pages: | 0 |
| Talk: | Jul 12 08:45 |
| Paper: |  |