|
|
|
|
|
|
by cguidi
4149 days ago
|
|
|
We are in the middle, you know :-) Usually the academic part ask to us to focus more on the research topics instead of the language details (they usually call them "details" :-)). We believe both of the aspects are very important. There are formal models behind the language which are, and will be, very useful for building analysis and verification tools |
|
|