Manoj Kumar Srivastava, Asoke Nath
Nath et al já publicaram um artigo sobre descrição matemática de palavras-chave, declarações de variáveis, arrays, funções definidas pelo utilizador da linguagem tipo C. Os autores deram a definição de variáveis, inicialização de arrays, chamada de funções a partir de derivações matemáticas simples ou modelos matemáticos. Os autores já mostraram que é possível conceptualizar qualquer linguagem de alto nível a partir de derivações matemáticas ou modelos matemáticos. No presente artigo os autores tentaram explorar alguns dos conceitos importantes da linguagem tipo C, como ponteiros, estruturas, uniões e declarações de variáveis ??????na linguagem tipo C. A estrutura é um tipo de dados complexo e, por isso, os autores tentaram aplicar alguma lógica ou modelo matemático simples para explicar a estrutura. O ponteiro é também um conceito importante na linguagem C e os autores tentaram explicá-lo a partir de modelos matemáticos simples. Os autores tentaram estabelecer que existe uma lógica ou modelo matemático individual para cada componente de qualquer linguagem de alto nível. O presente método pode ainda ser estendido a outras linguagens de alto nível, linguagens de script ou linguagens orientadas a objectos, sistemas de gestão de bases de dados, etc.