Improving Space, Time, and Termination in Rewriting-Based Programming

  • Authors:
  • Nadia Nedjah;Luiza de Macedo Mourelle

  • Affiliations:
  • -;-

  • Venue:
  • Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Pattern-matching is a fundamental feature in many applications such as logic programming [5,13], theorem proving [4], term rewriting and rule-based expert systems[3]. Usually, patterns size is not constrained and ambiguous patterns are allowed. This generality leads to a clear and concise programming style. However, it yields challenging problems in the compilation of such programming languages. In this work, we deal with such problems in order to improve time and space requirements of pattern-matching as well as termination properties of term evaluation.