Abstrait

DESCRIPTION MATHÉMATIQUE DES VARIABLES, POINTEURS, STRUCTURES, UNIONS UTILISÉS DANS LE LANGAGE DE TYPE C

Manoj Kumar Srivastava, Asoke Nath

Nath et al ont déjà publié un article sur la description mathématique des mots-clés, des déclarations de variables, des tableaux, des fonctions définies par l'utilisateur du langage de type C. Les auteurs ont donné la définition des variables, l'initialisation des tableaux, l'appel d'une fonction à partir de dérivations mathématiques simples ou de modèles mathématiques. Les auteurs ont déjà montré qu'il est possible de conceptualiser n'importe quel langage de haut niveau à partir de dérivations mathématiques ou de modèles mathématiques. Dans le présent article, les auteurs ont essayé d'explorer certains des concepts importants du langage de type C tels que les pointeurs, les structures, les unions et les déclarations de variables dans le langage de type C. La structure est un type de données complexe et les auteurs ont donc essayé d'appliquer une logique mathématique simple ou un modèle pour expliquer la structure. Le pointeur est également un concept important dans le langage C et les auteurs ont essayé de l'expliquer à partir de modèles mathématiques simples. Les auteurs ont essayé d'établir qu'il existe une logique ou un modèle mathématique un à un pour chaque composant de tout langage de haut niveau. La présente méthode peut être étendue à d'autres langages de haut niveau, langages de script ou langages orientés objet, systèmes de gestion de bases de données, etc.