Periodic Reporting for period 1 - VERLAN (Verification and Language Theory)

Summary
Limitations to a programming language can help boost the production of more readable and maintainable software. A limited fragment associated with the semantic domain can introduce more efficient algorithms for verification and analysis, beginning with the characterization of...
More information & hyperlinks