2026-07-22T08:26:56Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5517 2024-03-06T11:04:56Z ddc:004 open_access

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact) Shinnar, Avraham Siméon, Jérôme Hirzel, Martin Rules Pattern Matching Aggregation Nested Queries Mechanization This artifact contains the accompanying code for the ECOOP 2015 paper: "A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization". It contains source files for a full mechanization of the three languages presented in the paper: CAMP (Calculus for Aggregating Matching Patterns), NRA (Nested Relational Algebra) and NNRC (Named Nested Relational Calculus). Translations between all three languages and their attendant proofs of correctness are included. Additionally, a mechanization of a type system for the main languages is provided, along with bidirectional proofs of type preservation and proofs of the time complexity of the various compilers. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Avraham Shinnar and Jérôme Siméon and Martin Hirzel 2015 Is Part Of DARTS, Volume 1, Issue 1, Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.1.1.8 urn:nbn:de:0030-drops-55179 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.8 eng https://creativecommons.org/licenses/by/3.0/de/legalcode