Author: Daniel Thalmann
Publisher: Chicoutimi, [Québec] : G. Morin
ISBN: 9780886120207
Category : Compiling (Electronic computers)
Languages : fr
Pages : 233
Book Description
Conception et implantation de langages de programmation
Author: Daniel Thalmann
Publisher: Chicoutimi, [Québec] : G. Morin
ISBN: 9780886120207
Category : Compiling (Electronic computers)
Languages : fr
Pages : 233
Book Description
Publisher: Chicoutimi, [Québec] : G. Morin
ISBN: 9780886120207
Category : Compiling (Electronic computers)
Languages : fr
Pages : 233
Book Description
Conception et implantation d'un langage de programmation integrant trois paradigmes: la programmation logique, la programmation par objets et la programmation repartie
Author: Université de Montréal. Département d'Informatique et de Recherche Opérationnelle
Publisher:
ISBN:
Category :
Languages : fr
Pages : 644
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 644
Book Description
Conception et implantation d'un langage pour les transformations de programmes
Author: Christophe Roudet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Conception, sémantique et implantation de réactiveML
Author: Louis Mandel
Publisher:
ISBN:
Category :
Languages : fr
Pages : 206
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 206
Book Description
Conception d'un system de langages de programmation
Author: Jean Louis Nebut
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
Conception d'un système de langages de programmation
Author: Jean-Louis Nebut
Publisher:
ISBN:
Category :
Languages : fr
Pages : 4
Book Description
Etude des problèmes de réalisation des gros programmes sur la base d'une étude bibliographique des langages utilisés pour programmer des systèmes. Définition des règles de programmation nécessaires à la réalisation des systèmes, règles servant à la construction de langages. Structure possible pour un système de langages et examen des problèmes pratiques (apprentissage) et économiques. Elaboration de trois niveaux de programmation pour ce système. Introduction du langage L1 améliorant les conditions de programmation avec un langage d'assemblage, du langage L2 pour le developpement des mécanismes d'échanges d'informations entre les différents langages, du langage L3 qui apporte la puissance de description des données. Organisation du système proposé. généralisation du procédé de construction du système de langages
Publisher:
ISBN:
Category :
Languages : fr
Pages : 4
Book Description
Etude des problèmes de réalisation des gros programmes sur la base d'une étude bibliographique des langages utilisés pour programmer des systèmes. Définition des règles de programmation nécessaires à la réalisation des systèmes, règles servant à la construction de langages. Structure possible pour un système de langages et examen des problèmes pratiques (apprentissage) et économiques. Elaboration de trois niveaux de programmation pour ce système. Introduction du langage L1 améliorant les conditions de programmation avec un langage d'assemblage, du langage L2 pour le developpement des mécanismes d'échanges d'informations entre les différents langages, du langage L3 qui apporte la puissance de description des données. Organisation du système proposé. généralisation du procédé de construction du système de langages
Canadiana
Author:
Publisher:
ISBN:
Category : Canada
Languages : en
Pages : 1562
Book Description
Publisher:
ISBN:
Category : Canada
Languages : en
Pages : 1562
Book Description
CONTRIBUTION A L'INTEGRATION DE LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS
Author: MACAIRE.. NGOMO
Publisher:
ISBN:
Category :
Languages : fr
Pages : 325
Book Description
CETTE THESE PREND PLACE DANS UN PROJET INTERNE DE REALISATION DE LANGAGES A VOCATION MULTIPLE, INTEGRANT PLUSIEURS STYLES DE PROGRAMMATION ET ADAPTES AU PLUS PRES A NOS BESOINS EN MATIERE DE CONCEPTION ET PROGRAMMATION DES APPLICATIONS. DANS CELLE-CI, NOUS ETUDIONS LES POSSIBILITES DE COMBINER LES ASPECTS DE DEUX PARADIGMES DE PROGRAMMATION : LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. CES DERNIERES ANNEES, CES DEUX PARADIGMES DE PROGRAMMATION ONT SUSCITE UN INTERET DE PLUS EN PLUS GRAND PARCE QU'ILS OFFRENT BEAUCOUP D'AVANTAGES SUR LES METHODES TRADITIONNELLES DE PROGRAMMATION. DANS CETTE THESE, NOUS PROPOSONS UN NOUVEAU MODELE POUR INTEGRER CES DEUX PARADIGMES DE PROGRAMMATION, EN METTANT EN AVANT L'ASPECT DECLARATIF DE LA PROGRAMMATION LOGIQUE. SUR LA BASE DE CE MODELE, NOUS DEVELOPPONS UN NOUVEAU LANGAGE NOMME OO-PROLOG (OBJECT-ORIENTED PROLOG). CE LANGAGE INTEGRE DE MANIERE COHERENTE LES GRANDS MECANISMES DE LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. IL EST BASE SUR DELPHIAPROLOG ET CONCU SUIVANT LE MODELE METACLASSE/CLASSE/INSTANCE INSPIRE DU MODELE OBJVLISP. L'HERITAGE EST DYNAMIQUE ET MULTIPLE, AVEC UNE SEMANTIQUE NON MONOTONE. UNE NOUVELLE METHODE DE RESOLUTION DES CONFLITS EST PROPOSEE. ELLE EST BASEE SUR LA RESOLUTION NON-DETERMINISTE. UN MECANISME DE VERSIONS D'OBJETS EST PROPOSE PERMETTANT DE CONSTRUIRE L'HISTOIRE D'UN OBJET PAR UNIFICATION ET DE LA DEFAIRE PAR RETOUR ARRIERE. CE MECANISME REPOSE SUR L'UTILISATION DES STRUCTURES DE DONNEES INCOMPLETES. L'APERCU D'UNE STRUCTURE INCOMPLETE PEUT S'UTILISER POUR PERMETTRE L'ENTREE DE NOUVELLES INFORMATIONS MOYENNANT L'UNIFICATION ET DONC DE PREVOIR L'AVENIR. LA LECTURE DECLARATIVE DES PROGRAMMES UTILISANT CES STRUCTURES EST IMMEDIATE. DE FACON OPERATOIRE, CES PROGRAMMES SE COMPRENNENT EN TERMES DE CONSTRUCTION D'UNE STRUCTURE PAR INCREMENTATION. UN SCHEMA D'EXTENSION DE L'UNIFICATION EST PROPOSE, PRENANT EN COMPTE LE CONCEPT D'IDENTIFICATEUR D'OBJET.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 325
Book Description
CETTE THESE PREND PLACE DANS UN PROJET INTERNE DE REALISATION DE LANGAGES A VOCATION MULTIPLE, INTEGRANT PLUSIEURS STYLES DE PROGRAMMATION ET ADAPTES AU PLUS PRES A NOS BESOINS EN MATIERE DE CONCEPTION ET PROGRAMMATION DES APPLICATIONS. DANS CELLE-CI, NOUS ETUDIONS LES POSSIBILITES DE COMBINER LES ASPECTS DE DEUX PARADIGMES DE PROGRAMMATION : LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. CES DERNIERES ANNEES, CES DEUX PARADIGMES DE PROGRAMMATION ONT SUSCITE UN INTERET DE PLUS EN PLUS GRAND PARCE QU'ILS OFFRENT BEAUCOUP D'AVANTAGES SUR LES METHODES TRADITIONNELLES DE PROGRAMMATION. DANS CETTE THESE, NOUS PROPOSONS UN NOUVEAU MODELE POUR INTEGRER CES DEUX PARADIGMES DE PROGRAMMATION, EN METTANT EN AVANT L'ASPECT DECLARATIF DE LA PROGRAMMATION LOGIQUE. SUR LA BASE DE CE MODELE, NOUS DEVELOPPONS UN NOUVEAU LANGAGE NOMME OO-PROLOG (OBJECT-ORIENTED PROLOG). CE LANGAGE INTEGRE DE MANIERE COHERENTE LES GRANDS MECANISMES DE LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. IL EST BASE SUR DELPHIAPROLOG ET CONCU SUIVANT LE MODELE METACLASSE/CLASSE/INSTANCE INSPIRE DU MODELE OBJVLISP. L'HERITAGE EST DYNAMIQUE ET MULTIPLE, AVEC UNE SEMANTIQUE NON MONOTONE. UNE NOUVELLE METHODE DE RESOLUTION DES CONFLITS EST PROPOSEE. ELLE EST BASEE SUR LA RESOLUTION NON-DETERMINISTE. UN MECANISME DE VERSIONS D'OBJETS EST PROPOSE PERMETTANT DE CONSTRUIRE L'HISTOIRE D'UN OBJET PAR UNIFICATION ET DE LA DEFAIRE PAR RETOUR ARRIERE. CE MECANISME REPOSE SUR L'UTILISATION DES STRUCTURES DE DONNEES INCOMPLETES. L'APERCU D'UNE STRUCTURE INCOMPLETE PEUT S'UTILISER POUR PERMETTRE L'ENTREE DE NOUVELLES INFORMATIONS MOYENNANT L'UNIFICATION ET DONC DE PREVOIR L'AVENIR. LA LECTURE DECLARATIVE DES PROGRAMMES UTILISANT CES STRUCTURES EST IMMEDIATE. DE FACON OPERATOIRE, CES PROGRAMMES SE COMPRENNENT EN TERMES DE CONSTRUCTION D'UNE STRUCTURE PAR INCREMENTATION. UN SCHEMA D'EXTENSION DE L'UNIFICATION EST PROPOSE, PRENANT EN COMPTE LE CONCEPT D'IDENTIFICATEUR D'OBJET.
Définition interprétative et implantation de langages de programmation
Author: Patrick Cousot
Publisher:
ISBN:
Category :
Languages : fr
Pages : 362
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 362
Book Description
European Control Conference 1991
Author:
Publisher: European Control Association
ISBN: 9782866012809
Category : Control theory
Languages : en
Pages : 834
Book Description
Proceedings of the European Control Conference 1991, July 2-5, 1991, Grenoble, France
Publisher: European Control Association
ISBN: 9782866012809
Category : Control theory
Languages : en
Pages : 834
Book Description
Proceedings of the European Control Conference 1991, July 2-5, 1991, Grenoble, France