K-user mailing list

[Traian Florin Șerbănuță <tserban2 AT illinois.edu>]

Hello everybody,

In case somebody might be interested, I added a K(-like) module defining the syntax of K in the /docs directory

http://code.google.com/p/k-framework/source/browse/trunk/docs/k-syntax/k.k

It not (yet) compilable, but might be helpful at least for reference purposes.

Please feel free to comment on and/or revise it.

best wishes,

- traian

2012/2/17 Serbanuta, Traian Florin <tserban2 AT illinois.edu>

Hi Hossein,

I might not understand what you want precisely, but I though this is what I gave you, a list of keywords reserved by K.

All these keywords are reserved in the sense that users should be aware of them and try not to redefine them.

I only categorized it to allow you to decide what you want to emphasize and how.  If you would like to start with a smaller subset, the classification I made should help you decide what to ignore.

best wishes,

- traian

2012/2/17 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>

Traian,

This seems to be more than what I asked for. A list of K reserved
words would do for the start. I'll come back to the syntax later
perhaps.

Cheers,
--Hossein

2012/2/17 Traian Florin Șerbănuță <tserban2 AT illinois.edu>:

>
> Sure,
>
> This should be useful for future reference as well.  Maybe we should put
> this on the wiki or somewhere.
> Hope I'm not missing anything, I'm now quoting from the vim syntax file,
> ignoring things specific to Maude:
>
> file stuff:
>   require
>
> module stuff:
>   module ... end module
>   imports
>
> Keywords:
>
>   syntax  --- with  '::='  and '|'
>   macro
>   context  with 'HOLE'
>   configuration with xml cells with attributes
>       <br> might be used here for typeset purposes to break lines
>   rule   with '=>' for rewriting, 'when' for side conditions and 'where' for
> macro substitution
>   tags  --- I'm not sure this is still used
>
> to be added soon:
>   declare
>   define
>
> Comments:
>   //  for line comments
>   //@ for LaTeX line comments
>   /* for block comments */
>   /*@ for LaTeX block comments */
>
> K Sorts:
>   K with  '~>' and .K
>   KLabel these usually are formatted as "quotes ids" which start with a '
> and grab everything until the next space, comma or bracket which is not
> backquoted.
>   List{K} with ',,' and .List{K}
>   List with ListItem and .List
>   Set with SetItem and .Set
>   Bag with BagItem and .Bag
>   Map with MapItem .Map
>   CellLabel
>   KResult
>
> Special symbols:
>   '_' for anonymous variables
>
> Attributes:
>   Strategies
>      strict seqstrict hybrid structural transition superheat supercool
>   Typesetting:
>     large latex
>     color --- this is a cell attribute
>   Other:
>     binder
>     multiplicity --- this is a cell attribute
>
>   Parsing:
>      prec gather
>
> Builtin Sorts:
>   #Bool #Int #Float #String #Char #Id
> Builtin Constants
>   true false 0 1 ... 0.0 0.1 ...  ""
> Builtin Operators
>   +Int andBool ==Bool lengthString #id ....
>
> this should give you a pretty good picture.  Hope I didn't left anything
> out.
>
> best wishes,
> - traian
>
> 2012/2/17 Seyed H. HAERI (Hossein) <hossein.haeri AT gmail.com>
>>
>> Hi Traian,
>>
>>
>> > If you write a syntax highlighter for KDE-based applications, that would
>> > be
>> > much appreciated, and I'll make sure it gets added to the K repository.
>> >  Thanks for offering to do that!
>>
>> My pleasure. :) Now, as the starter, can I have the list of K reserved
>> words please?
>>
>> TIA,
>> --Hossein
>>
>>
>> --------------------------------------------------------------------------------------------------------------
>>
>> Seyed H. HAERI (Hossein)
>>
>> Research Assistant
>> Institute for Software Systems (STS)
>> Technical University of Hamburg (TUHH)
>> Hamburg, Germany
>>
>> ACCU - Professionalism in programming - http://www.accu.org/
>>
>> --------------------------------------------------------------------------------------------------------------
>>
>> _______________________________________________
>> k-user mailing list
>> k-user AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
>

--

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user