K-user mailing list

[Dorel Lucanu <dorel.lucanu AT gmail.com>]

Nice, indeed. Is it a paper describing KAT?
Dorel

On Wed, Aug 23, 2017 at 1:01 AM, Patrick Meredith <pmeredit AT gmail.com> wrote:

Ah nice, I'm a few years behind the times.

On Tue, Aug 22, 2017 at 6:00 PM, Everett Hildenbrandt <hildenb2 AT illinois.edu> wrote:

K actually allows specifying sub-configurations/including them.

Check out https://github.com/kframework/kat (file KAT-IMP, cell <kat-imp>) for an example.
Some explanatory text about how configurations are just converted into more syntax/rules: https://github.com/kframework/k/wiki/KAST-and-KORE

Everett H.

On Tue, Aug 22, 2017 at 05:37:39PM -0400, Patrick Meredith wrote:
> This actually makes me think: maybe a small meta-language for gluing together
> different language semantics would be a good idea.  In principle, definitions
> can always be combined by combining their state terms, but there is an issue
> with name clashes.
>
> On Tue, Aug 22, 2017 at 5:27 PM, Ahmed Amar Debza <amr.deb AT gmail.com> wrote:
>
>     Component based systems such as OSGi or  Web Services Systems
>
>     On Tue, Aug 22, 2017 at 4:11 PM, Everett Hildenbrandt <
>     hildenb2 AT illinois.edu> wrote:
>
>         Can you be more specific about waht you're looking for?
>
>         Perhaps an example of a system like this?
>
>         Everett H.
>
>         On Mon, Aug 21, 2017 at 10:21:07PM +0100, Ahmed Amar Debza wrote:
>         > Hello i'm new to K/Maude and  I intend to use it as a formalization
>         tool for
>         > Integration between different technologies, Are there any projects (k
>         or
>         > related) that capture the Integration between heterogeneous systems?
>         > thank you.
>
>
>
>
>
>
> --
> -Patrick

--

-Patrick