UN LANGAGE POUR MANIPULER LES ENSEMBLES : MANENS
MANENS EST UN LANGAGE APPLICATIF CONCUS POUR MANIPULER DES ENSEMBLES. DEFINITION DE LA COLLECTION D DES OBJETS MANIPULABLES ET DES META-FONCTIONS. DESCRIPTION DU LANGAGE PROPREMENT DIT (SYNTAXE ET SEMANTIQUE) ET DU FONCTIONNEMENT DU SYSTEME QUI GERE LES DEFINITIONS ET EVALUE LES EXPRESSIONS. DESCRIP...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado: |
[S.l.] :
[s.n.]
1982.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A LANGUAGE FOR MANIPULATING SETS: MANENS |
| Résumé: | MANENS EST UN LANGAGE APPLICATIF CONCUS POUR MANIPULER DES ENSEMBLES. DEFINITION DE LA COLLECTION D DES OBJETS MANIPULABLES ET DES META-FONCTIONS. DESCRIPTION DU LANGAGE PROPREMENT DIT (SYNTAXE ET SEMANTIQUE) ET DU FONCTIONNEMENT DU SYSTEME QUI GERE LES DEFINITIONS ET EVALUE LES EXPRESSIONS. DESCRIPTION DE L'IMPLEMENTATION ACTUELLEMENT REALISE SUR POP 10. EXEMPLES TRAITES DANS LE LANGAGE, EN PARTICULIER LA RECHERCHE DE L'AUTOMATE MINIMAL EQUIVALENT A UN AUTOMATE FINI DONNE. DEMONSTRATION DE L'EXISTENCE DE DOMAINES D CONTENANT LES FONCTIONS ACCEPTABLES DE D DANS D; OUTRE DES PROPRIETES DES OBJETS DEFINIS TOUTES LES CONSEQUENCES QUANT A LA SEMANTIQUE DE MANENS. COMPARAISON DE MANENS AVEC SETL EN PARTICULIER |
|---|---|
| Descrición Física: | 242 P. ; 30 cm. |
| Bibliografía: | 42 REF. |