K-user mailing list

[Everett Hildenbrandt <hildenb2 AT illinois.edu>]

Not yet.

Everett H.

On Wed, Aug 23, 2017 at 08:35:49AM +0300, Dorel Lucanu wrote:
> 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
> 
>