k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Difference between 'macro', 'anywhere', and 'function'?

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Difference between 'macro', 'anywhere', and 'function'?
Date: Wed, 25 Dec 2013 00:22:09 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi,

I have a simple question:
What is the difference between 'macro', 'anywhere', and 'function'?
The generated maude code seems to be same except metadata. Who makes, if any,
a difference?

Thanks,
Daejun

[K-user] Difference between 'macro', 'anywhere', and 'function'?, Park, Daejun, 12/24/2013
- Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Traian Florin Șerbănuță, 12/25/2013
  - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Michael D. Adams, 12/27/2013
    - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Andrei Arusoaie, 12/28/2013
      - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Traian Florin Șerbănuță, 12/28/2013
    - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Rosu, Grigore, 12/28/2013