K-user mailing list

["Serbanuta, Traian Florin" <tserban2 AT illinois.edu>]

Hi Antonio,

The K-framework runs pretty well on Macs.  Actually, most of the
development for it has been done on Macs. Therefore, there are a couple of
options for getting K to work on a Mac.

If you like configuring and have experience with installing linux apps on
your Mac, you can follow the instructions in the K INSTALL file (
http://code.google.com/p/k-framework/source/browse/trunk/INSTALL ).

If this does not appeal to you, you can try or virtual machine which comes
with a fully configured pre-installed K. The reason for which we provide a
virtual machine is that, as K is still in a prototype phase (although
reasonably mature by now), lots of different tools are used to make it
work, which means lots of dependencies need to be installed.

For installing a K virtual machine, there are 2 options here.
1) If you have VMware Fusion (or are willing to purchase it, or to use the
trial version for one month), then you should probably follow the
instruction from http://code.google.com/p/k-framework/wiki/Downloads  to
get K working  for you.  This is currently used by a couple of K users, so
we think it to be reasonably well tested.
2) The final option would be to use the VirtualBox virtual machine and the
instructions from here http://code.google.com/p/k-framework/wiki/VirtualBox
This hasn't been tested so well, but we would be willing to provide
support for it if needed.

In general, we're willing to assist with any of the installation
procedures above.

Best wishes,
- traian





On 1/26/12 1:50 AM, "Antonio Bucchiarone" 
<bucchiarone AT fbk.eu>
 wrote:

>Thanks for your reply.
>First question: How Can I install K on MAC?
>
>Thanks
>Antonio
>
>
>Antonio Bucchiarone, PhD
>Researcher at SOA Unit , FBK
>Via alla Cascata 56/C - Povo
>38100 Trento - ITALY
>+39-0461-314927
>www: http://soa.fbk.eu
>
>
>
>
>________________________________________
>Inizio: Serbanuta, Traian Florin 
>[tserban2 AT illinois.edu]
>Inviato: giovedì 26 gennaio 2012 6.04
>Fine: Antonio Bucchiarone
>Cc: Ellison, Chucky; 
>k-user AT cs.uiuc.edu
>Oggetto: Re: Fwd: Use of K-framework for our language
>
>Hi Antonio,
>
>We are very glad you are interested in the K framework.
>As we envision K as particularly good for defining domain-specific
>languages, and as the ultimate semantics of a K definition is a (labeled)
>transition system, I don't see any reason why you could not use the K
>framework to define your language.
>
>The immediate benefit such a definition could bring would be that you
>could use the definition as an interpreter for programs as well as for
>obtaining state-space searching and model-checking capabilities.
>
>If you are interested, we would be happy to help with guiding and
>assisting you through the process of writing a K definition.
>
>Best wishes,
>- traian serbanuta
>
>
>>
>>
>>
>>---------- Forwarded message ----------
>>From: Antonio Bucchiarone 
>><bucchiarone AT fbk.eu>
>>Date: Tue, Jan 24, 2012 at 11:21 AM
>>Subject: Use of K-framework for our language
>>To: 
>>"celliso2 AT illinois.edu"
>> 
>><celliso2 AT illinois.edu>
>>
>>
>>Hi,
>>I have seen your page and results on the K-framework and it is very
>>interesting result, congratulations.
>>In our group we are working on a a definition of a formal language for
>>business processes adaptation. We have defined the syntax and its
>>LTS-based semantics.
>>Now we want to test it on some example and try to see if the semantics
>>is good enough. Do you think that we can use the K-framework for this
>>task? Can you give some indications on how to do it and what could be
>>the help that K can give to us?
>>
>>Thanks in advance,
>>Antonio
>>
>>
>>Antonio Bucchiarone, PhD
>>Researcher at SOA Unit , FBK
>>Via alla Cascata 56/C - Povo
>>38100 Trento - ITALY
>>+39-0461-314927
>>www: http://soa.fbk.eu
>>_______________________________________________
>>k-list mailing list
>>k-list AT cs.uiuc.edu
>>http://lists.cs.uiuc.edu/mailman/listinfo/k-list
>