k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Templating / Macros

From: Suminda Dharmasena <sirinath AT sakrio.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, "Rosu, Grigore" <grosu AT illinois.edu>, "info AT kframework.org" <info AT kframework.org>
Subject: Re: [K-user] Templating / Macros
Date: Fri, 3 Jan 2014 17:15:10 +0530
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Another case would be that if I want to create a language influenced by other language for which there are K semantics, how to select all this into the new language and override parts relative to the new language. Some of this may involve transformations where syntax and rules are similar but not exact.

Tempting can be used where you leave out stuff to be filled in later. Transformations can be used to take what is there and fit it to a new usage.

Problem with above is complex interactions between syntax and rules. So templating, overriding and transformations should not break the new language or create something inconsistent.

[K-user] Templating / Macros, Suminda Dharmasena, 01/03/2014
- Re: [K-user] Templating / Macros, Suminda Dharmasena, 01/03/2014
  - Re: [K-user] Templating / Macros, Rosu, Grigore, 01/03/2014