Writing Positive/Negative-Conditional Equations Conveniently

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct, positive/negative-conditional equational specifications can be written on a higher level. A rewrite system translates the macro-rule-constructs into positive/negative-conditional equations.
ii + 21 pages

Keywords

Artificial Intelligence, Logic in Computer Science

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/220258

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0902.2975
 http://arxiv.org/abs/0902.2975

Collections

arXiv