Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL

Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL

.

Bibliographic Details
Main Author:	Fortier, Robert
Language:	FRE
Published:	1975
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation hardware langage programmation PASCAL microprogrammation compilateur IBM 360-67 ALGOL APL SYMBOL
Online Access:	http://tel.archives-ouvertes.fr/tel-00285922 http://tel.archives-ouvertes.fr/docs/00/28/59/22/PDF/These_Fortier.Robert_1975.pdf

Similar Items

Méthodologie d'écriture de compilateurs - une expérience du langage ALGOL 68
by: Cunin, Pierre-Yves, et al.
Published: (1976)

Aspects du système APL 90 : Une extension orientée objet du langage APL
by: Sako, Séga
Published: (1986)

Précédence, analyse syntaxique et langages de programmation
by: Colmerauer, Alain
Published: (1967)

Utilisation du langage CASSANDRE pour la conception des machines microprogrammées
by: De Polignac, Karen
Published: (1973)

Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement
by: Trilling, Laurent
Published: (1967)

Contribution au développement des langages extensibles
by: Jorrand, Philippe
Published: (1975)

Etude et réalisation d'un compilateur Algol60 sur calculateur éléctronique du type IBM 7090/94 et 7040/44
by: Boussard, Jean-Claude
Published: (1964)

Extensions syntaxiques dans un contexte LL(1)
by: Vidart, Jorge
Published: (1974)

Etude du langage de commande et de contrôle pour le réseau d'ordinateurs SOC (Système d'Ordinateurs Connectés)
by: De Caluwe, Rita
Published: (1973)

Etude d'un langage intermédiaire pour la compilation d'Algol 60 -<br />Application à un calculateur de type microprogrammé : CAE 510
by: Le Palmec, Jean
Published: (1966)

Définition et implantation de la sémantique des langages de programmation
by: Willis, Bruce
Published: (1974)

Etude de la compilation de BASEL, langage de la famille d'Algol 68
by: Bajar, Victoria
Published: (1973)

Réalisation d'un interprète complet du langage APL sur un mini ordinateur
by: Girardot, Jean-Jacques, et al.
Published: (1976)

Machine PASC-HLL : réalisation avec des micro-processeurs en tranches d'une unité centrale multiprocesseur adaptée au langage PASCAL
by: Baille, Gérard
Published: (1983)

Autocompilation et conceptualisation des langages de programmation
by: Suty, Daniel
Published: (1971)

Langages analysables de gauche à droite, construction d'un analyseur pour langages LR (1)
by: Courtin, Jacques
Published: (1968)

Un compilateur de microprogrammes
by: Guyot, Alain
Published: (1975)

Analyse déterministe et compilateurs
by: Griffiths, Michael
Published: (1969)

Méthodes d'analyses syntaxiques descendantes pour langages "context-free"
by: Nguyen-Dinh, Xuan
Published: (1965)

Etude et réalisation d'une traduction automatique d'Algol 60 en Algol 68
by: Landelle, Alain
Published: (1971)

Une généralisation de la notion d'automate et applications
by: Depeyrot, Michel
Published: (1975)

Etude et réalisation d'une méthode de transport : traduction de programmes PL 360 en LP 80
by: Chassagne, Claudine
Published: (1978)

Etude comparative des principaux langages de programmation
by: Lecarme, Olivier
Published: (1966)

Machines et langages pour traiter les ensembles de données (Textes, tableaux, fichiers)
by: Rohmer, Jean
Published: (1980)

Un macro-langage pour la programmation des terminaux graphiques
by: Cleemann, Edouard
Published: (1969)

IRENE : un langage pour la description, simulation et synthèse automatique du matériel VLSI
by: Marine, Souheil
Published: (1986)

Propositions pour un langage d'écriture de programmes répartis. Expression du contrôle de la communication entre processus distribués
by: Guillot, Jean-Michel
Published: (1979)

Vérification formelle d'un compilateur optimisant pour langages fonctionnels
by: Dargaye, Zaynah
Published: (2009)

Aspects non numériques de la programmation algol
by: Nguyen, Huu Dung
Published: (1965)

Modélisation du langage à l'aide de pénalités structurées
by: Nelakanti, Anil Kumar
Published: (2014)

Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot
by: Sadoun, Driss
Published: (2014)

Etude critique et données de compilation du langage Cobol
by: Baer, Jean-Loup
Published: (1963)

MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques
by: Zachariades, Marianthi
Published: (1977)

Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
by: Mercadal, Julien
Published: (2011)

Etude et réalisation d'un système de programmation pour la commande numérique des machines-outils
by: Gabrini, Philippe
Published: (1970)

Un langage de description et de programmation de systèmes de conduite de procédés industriels
by: Pleyber, Joël
Published: (1978)

Approche langage au développement du support protocolaire d'applications réseaux
by: Burgy, Laurent
Published: (2008)

Langages de programmation en commande numérique de machines-outils
by: David, René
Published: (1969)

Etude de langages interprétables par une machine langage de haut niveau
by: Park, Seung Kyu
Published: (1982)

Etude de la syntaxe d' Algol - Application à la compilation
by: Werner, Georg
Published: (1964)