Tools
We are planning to develop a tool called MeSCaL, MEmbership and Separation for ClAsses of Languages that will implement some of the algorithms developped in the project.
A prototype is available here.
We are planning to develop a tool called MeSCaL, MEmbership and Separation for ClAsses of Languages that will implement some of the algorithms developped in the project.
A prototype is available here.