Expression de contraintes - Globales dans les documents semi

Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant d''exprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains langages d''arbres comme par exemple les langages d''arbres réguliers à arités non bornées. Dans ce travail, notre objectif est d''enrichir cette logique afin de pouvoir exprimer des propriétés des langages d''arbres hors-contexte, des langages d''arbres synchronisés réguliers et des langages d''arbres synchronisés hors-contexte.

About the author

Né le 1 juin 77 au Liban. Marié avec Zaynab SALLOUM, et père de Laya. Doctorant à Polytech''Lille. Diplômé de deux masters: MSIS de Middle East Canadian Univ. et SID de Panthéon-Sorbonne. Il a été chef de département informatique à l''Association de Bienfaisance Culturelle, enseignant dans des établissements d''enseignement supérieur.

Product details

• Authors: Wissam Khalil, Khalil-W
• Publisher: Omniscriptum
• Languages: French
• Product format: Undefined
• Released: 31.08.2010
• EAN: 9786131531224
• ISBN: 9786131531224
• Series: Omn.Univ.Europ.
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages