Treffer: UN LANGAGE-MACHINE POUR L'ECRITURE DE PROGRAMMES COMPLETEMENT PORTABLES EN CONTEXTE SYSTEME

Title:
UN LANGAGE-MACHINE POUR L'ECRITURE DE PROGRAMMES COMPLETEMENT PORTABLES EN CONTEXTE SYSTEME
Authors:
Original Material:
INIST-CNRS
Document Type:
Fachzeitschrift Article
Language:
French
Author Affiliations:
UNIV. MONTREAL, DEP. INFORMAT./CAN
Rights:
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Mathematics.
Accession Number:
edscal.PASCAL8130307839
Database:
PASCAL Archive

Weitere Informationen

LA MACHINE ABSTRAITE LAMBDA A ETE CONCUE ET IMPLANTEE DANS L'OPTIQUE D'UNE TOTALE PORTABILITE DES PROGRAMMES-SYSTEME. ELLE PERMET, AU PARTICULIER, LA REALISATION DE SYSTEMES D'EXPLOITATION COMMUNS A DIFFERENTES MACHINES. LA MACHINE LAMBDA EST DECRITE EN DETAIL; EN PARTICULIER, SON LANGAGE DE BASE FAIT L'OBJET D'UNE ETUDE