k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Otherwise-like rules

From: <daparpon AT dsic.upv.es>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Otherwise-like rules
Date: Mon, 13 Mar 2017 07:07:21 -0500

Hi! I am implementing an auxiliary function within my language specification
in K, and I would need some kind of "otherwise" rule (as in declarative
programming). That is, a rule that only applies when none of the other rules
(cases) match with the current configuration. Is there any way to specify this
in K? For instance, by tagging the rule with a specific attribute, etc.

Thanks in advance,
Daniel

[[K-user] ] Otherwise-like rules, daparpon, 03/13/2017
- Re: [[K-user] ] Otherwise-like rules, Everett Hildenbrandt, 03/13/2017
  - Re: [[K-user] ] Otherwise-like rules, daparpon, 03/14/2017
    - Re: [[K-user] ] Otherwise-like rules, Park, Daejun, 03/14/2017