Higher-order associative commutative pattern matching for component retrieval | Zendy

David Hemer | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Higher-order associative commutative pattern matching for component retrieval

Author(s) -

David Hemer

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.12.008

Subject(s) - associative property , commutative property , computer science , matching (statistics) , automated theorem proving , component (thermodynamics) , pattern matching , theoretical computer science , equivalence (formal languages) , fragment (logic) , adaptation (eye) , artificial intelligence , algorithm , mathematics , discrete mathematics , statistics , physics , pure mathematics , optics , thermodynamics

In this paper we describe a higher-order associative commutative pattern matching algorithm. We are motivated by the need for developing tool support for matching user requirements against library component interfaces, both specified using a formal language. In developing such tool support we aim for a maximum level of recall, while at the same time maintaining a reasonable level of automation and effciency.In order to support adaptation of library components we assume the library components may contain higher-order parameters (representing types, functions and relations) – components are adapted by instantiating parameters to suit the requirements of the user. However with this assumption, the usual specification matching techniques, based on proving equivalence using a theorem prover based on first-order logic, are no longer useful in general. We therefore propose building tool support based on pattern matching, and increasing recall by providing (partial) support for matching expressions that can be shown to be equivalent by applying the laws of associativity and commutativity

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research