A Tool to Assist the Compiler Construction Instructor in Checking the Equivalence of Specifications Based on Regular Expressions

Raúl Benito-Montoro, Xukai Chen, José Luis Sierra. A Tool to Assist the Compiler Construction Instructor in Checking the Equivalence of Specifications Based on Regular Expressions. In Antonio Balderas, Antonio José Mendes, Juan Manuel Dodero, editors, 23rd International Symposium on Computers in Education, SIIE 2021, Malaga, Spain, September 23-24, 2021. pages 1-6, IEEE, 2021. [doi]

Authors

Raúl Benito-Montoro

This author has not been identified. Look up 'Raúl Benito-Montoro' in Google

Xukai Chen

This author has not been identified. Look up 'Xukai Chen' in Google

José Luis Sierra

This author has not been identified. Look up 'José Luis Sierra' in Google