search

chardalas / CCS-parser

This is the very first repo
0 stars 0 forks source link

Try to find existing parser for CCS. #2

Open chardalas opened 6 years ago

chardalas commented 6 years ago

Examples: https://github.com/fredokun/pave/tree/master/src https://github.com/Biewer/PseuCoCo https://pseuco.com/#/landing https://github.com/CAAL/CAAL/tree/master/src/ccs Try to install this: http://homepages.inf.ed.ac.uk/perdita/cwb/getting.html

If not, you have to implement yours.

Write your own parser!

convert the language contructor to parser

decide the parser generator in go

make the compiler in go OR write a parser generator tool either in Go or Java or oCaml (top down parser) Decide in which language to write the parser, do a quick search (either Go or Java or oCaml) Do a table of your results and present them

chardalas commented 6 years ago

This one seems informative: Formal_Methods_Technical_Report.pdf