Situation actuelle: Accueil -  Shox Rivalry Homme article est de reformuler et étendre

Shox Rivalry Homme article est de reformuler et étendre

Shox Rivalry Homme

Dans un travail précédent ('Résumé Type de données Systems', TCS 173 (2), 1997), les deux derniers auteurs ont présenté une langue combiné constitué d'un système de réécriture algébrique (fortement normalisant) et une frappe λ-calcul enrichi par filtrage définitions suivantes un certain format, appelé le 'schéma général', qui généralise les définitions de recursor habituelles de nombres naturels et les Shox Rivalry Homme «types inductifs de base» Shox Rivalry Homme semblables. Ce langage combinée se est avérée fortement normalisant. Le but de cet article est de reformuler et étendre le schéma général pour le rendre facilement extensible, pour capturer une classe plus générale des types inductifs, appelé 'strictement positif', et pour faciliter la preuve solide du système résultant de normalisation. Ce Nike Shox Rivalry Soldes résultat constitue un modèle de calcul pour la combinaison d'un langage de spécification algébrique basée sur les types de données abstraites et d'un langage fonctionnel fortement typé avec types inductifs strictement positifs.
0 Commentaires


Speak Your Mind
Commentaires récents