La construcción del compilador se puede dividir en variasFases como el análisis léxico, el análisis de sintaxis, el análisis semántico, etc. En el análisis léxico, hay herramientas como Lex, Flex y etc. En el análisis de sintaxis, hay herramientas como Yacc, Bison, etc. ¿Están disponibles las herramientas para la fase de análisis semántico?
Respuestas
3 para la respuesta № 1Que yo sepa, no haylas herramientas de lenguaje independiente para realizar la verificación de tipos y, si las hubiera, ciertamente no serían de aplicación general, ya que muchos sistemas de tipo de idioma son demasiado diferentes y complejos para ser manejados por herramientas generalizadas.
Con resolución de alcance hay espacio para herramientas.para manejarlo por ti. Por ejemplo, si su idioma tiene reglas de alcance bastante simples, el marco XText puede ocuparse completamente de la resolución del alcance si agrega algunas anotaciones a su gramática. En casos más complejos, tendrá que escribir algún código adicional usted mismo.
Luego, si compila en LLVM, puede usar el marco de trabajo de LLVM para realizar todo tipo de análisis de flujo de control por usted.