Deve ter Software Para Dave MacQueen

c-kit é um front end C escrito em SML que traduz o código fonte C (após pré-processamento) na sintaxe abstrata representada como um conjunto de tipos de dados SML. Ele também fornece recursos para estender a linguagem C com construções sintáticas...