La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Extending LogicWeb via Hereditary Harrop Formulas Extension de LogicWeb via des formules héréditaires de Harrop

Keehang KWON, Dae-Seong KANG

  • Vues en texte intégral

    0

  • Citer

Résumé:

Nous proposons HHWeb, une extension de LogicWeb avec des formules Harrop héréditaires. HHWeb étend le LogicWeb de Loke et Davison en autorisant des objectifs de la forme ( x1 xn D) G (ou équivalent x1 xn(D G)) où D est une page Web et G est un objectif. Cet objectif est destiné à être résolu en instanciant x1, ...,xn in D par de nouveaux noms, puis en résolvant l'objectif qui en résulte. Les quantifications existentielles en tête des pages Web sont particulièrement flexibles pour contrôler la visibilité des noms. Par exemple, ils peuvent fournir une portée aux fonctions et aux constantes ainsi qu'aux prédicats. De plus, leur sémantique est si simple que leur mise en œuvre devient plus efficace. Enfin, ils fournissent une interface côté client utile pour personnaliser les pages Web.

Publication
IEICE TRANSACTIONS on Information Vol.E91-D No.6 pp.1827-1829
Date de publication
2008/06/01
Publicisé
ISSN en ligne
1745-1361
DOI
10.1093/ietisy/e91-d.6.1827
Type de manuscrit
LETTER
Catégories
Fondamentaux du logiciel et théorie des programmes

Auteurs

Mots-clés

Table des matières