Pattern-based calculi with finitary matching

• Tipo: Artigo em Revista Científica Internacional
• Data: 2018

Autores

Sandra Alves (Autor) FCUP; Dundua, B (Autor) Outra; Florido, M (Autor) FCUP; Kutsia, T (Autor) Outra

Revista

Título: Logic Journal of the IGPL

Vol. 26

Páginas: 203-243

ISSN: 1367-0751

Editora: Oxford University Press

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 3 Citações

Outras Informações

ID Authenticus: P-00N-W6A

DOI: 10.1093/jigpal/jzx059

Abstract (EN): Finitary matching problems are those that have finitely many solutions. Pattern calculi generalize the lambda-calculus, replacing the abstraction over variables by an abstraction over terms that are called patterns. Consequently, reduction requires solving a pattern matching problem. The framework described in this paper considers the case when such problems are finitary. It is parametrized by the solving function, which is responsible for computing solutions to the matching problems. A concrete instance of the function gives a concrete version of the pattern calculus. We impose conditions on the solving function, obtaining a generic confluence proof for a class of pattern calculi with finitary matching. Instances of the solving function are presented.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 41