Comment présenter simplement le traitement des types abstraits de données = How to teach simply abstract data types processingBERNARD, L.TSI. Technique et science informatiques. 1984, Vol 3, Num 5, pp 319-326, issn 0752-4072Article

Typage polymorphe d'un langage algorithmique = Polymorphic typing of an algorithmic languageLeroy, Xavier; Huet, Gérard.1992, 192 p.Thesis

THEOREM ON THE NORMAL FORM OF A PROGRAM.PERKOWSKA E.1974; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1974; VOL. 22; NO 4; PP. 439-442; ABS. RUSSE; BIBL. 4 REF.Article

UPROSHCHENNYJ ALGOL. = ALGOL SIMPLIFIE1976; MOSKVA; NAUKA; DA. 1976; PP. 1-32; BIBL. 4 REF.Book

AN EFFECTIVE DATA LANGUAGE SYSTEM ATTACHABLE TO EXISTING PROGRAMS.GORNY P.1975; ANGEW. INFORMAT.; DTSCH.; DA. 1975; NO 2; PP. 75-77; ABS. ALLEM.; BIBL. 4 REF.Article

ON ALGORITHMIC M-VALUED LOGICSPERKOWSKA E.1972; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1972; VOL. 20; NO 9; PP. 717-719; ABS. RUSSE; BIBL. 6 REF.Serial Issue

EINE UNTERSUCHUNG DES PLANKALKUELS IM VERGLEICH MIT ALGORITHMISCHEN SPRACHEN. = UNE ETUDE DU "PLAN CALCUL" EN RELATION AVEC LES LANGAGES ALGORITHMIQUESHOHMANN J.1975; BER. GESELLSCH. MATH. DATENVERARBEIT.; DTSCH.; DA. 1975; NO 104; PP. (201P.); BIBL. 9 P. 1/2Serial Issue

A SURVEY OF LANGUAGE-ORIENTED SYSTEMS FOR NUMERICAL LINEAR ALGEBRA.ULERY DL; KHALIL HM.1974; COMPUTER J.; G.B.; DA. 1974; VOL. 17; NO 1; PP. 82-88; BIBL. 34 REF.Article

Type inference with non-structural subtypingPALSBERG, J; WAND, M; O'KEEFE, P et al.Formal aspects of computing. 1997, Vol 9, Num 1, pp 49-67, issn 0934-5043Article

RLISP-LE―LISP. Manuel de référence = RLISP-LE-LISP. Reference bookHOCHAIN, Jean-Claude; SANTANA, Miguel.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 492. 1985, 79 p.Report

UNE METHODE D'ANALYSE STRUCTURELLE ET DE DESCRIPTION DES IMAGES VISUELLES A DEUX DIMENSIONSYANCHEVA M.1975; PROBL. TEKH. KIBERN.; BALG.; DA. 1975; VOL. 1-2; PP. 146-151; ABS. RUSSE ANGL.; BIBL. 6 REF.Article

ETUDES SUR LA SYNTAXE ET LA SEMANTIQUE DES LANGUES NATURELLES ET DES LANGAGES ALGORITHMIQUES.CASTANET R.1974; AO-CNRS-11789; FR.; DA. 1974; PP. 1-235; H.T. 38; BIBL. 4 P. 1/2; (THESE DOCT. SCI. PHYS.; PARIS SUD ORSAY)Thesis

SUR LA COMPATIBILITE DES LANGAGES ALGORITHMIQUESSEMENOVA ET; ANTIPOVSKAYA GV.1972; TRUDY MOSKOV. ENERGET. INST.; S.S.S.R.; DA. 1972; NO 121; PP. 47-50Serial Issue

L'EXTENSIBILITE EN ALGOL 68JORRAND P.sdIN: COMMUN. JOURN. ALGOL 68; PARIS; 1973; S.L.; DA. S.D.; PP. (13 P.); BIBL. 1 P.Conference Paper

Typechecking of PEI expressionsVIOLARD, E.Lecture notes in computer science. 1997, pp 521-529, issn 0302-9743, isbn 3-540-63440-1Conference Paper

On the robustness of ALMOST-RBOOK, R. V; MAYORDOMO, E.Informatique théorique et applications (Imprimé). 1996, Vol 30, Num 2, pp 123-133, issn 0988-3754Conference Paper

A MINI-PAPER ON PAL (PEDAGOGIC ALGORITHMIC LANGUAGE)LENNOX JD.sdIN: DECUS EUROPE. 8TH SEMIN. STRASBOURG, 1972. MINI-PAP.; S.L.; DA. S.D.; PP. 106-107Conference Paper

UN LANGAGE DE PROGRAMMATION POUR LA COMMUTATION TELEPHONIQUE: PAPE.BARBERYE G; MARTIN M.1975; IN: LANG. EVOLUE. TEMPS REEL. ASSOC. FR. CYBERN. ECOU. TECH. JOURN.; PARIS; 1975; PARIS; AFCET; DA. 1975; PP. 1-28; BIBL. 6 REF.Conference Paper

GRAMMAIRE INDEPENDANTE DU CONTEXTE GENERALISEE DU LANGAGE ALGORITHMIQUE ALGOL 68BUBLIK VV.1975; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1975; NO 6; PP. 7-14; ABS. ANGL.; BIBL. 10 REF.Article

LANGAGE ALGORITHMIQUE DEKAS POUR LA RESOLUTION DES PROBLEMES A INFORMATION INCOMPLETE ET ALGORITHMES DE SON INTERPRETATIONBABICH G KH.1974; KIBERNETIKA, U.S.S.R.; S.S.S.R.; DA. 1974; NO 2; PP. 61-71; ABS. ANGL.; BIBL. 9 REF.Article

LANGAGE UNIVERSEL DE PROGRAMMATION (ALGOL 60)LAVROV SS.1972; MOSKVA; NAUKA; DA. 1972; PP. 1-183; BIBL. 1 P. 1/2; 3EME ED. REV. CORR. (BIBL. PROGRAMMISTA)Book

TRANSFORMATION DE LA SYNTAXE DES LANGAGES ALGORITHMIQUES, EN RAPPORT AVEC LA CONSTRUCTION DES TRADUCTEURS REGIS PAR LA SYNTAXEBYRNEV P; TOMOV V; BYRNEVA M et al.1972; IZVEST. MAT. INST., SOFIJA; BALG.; DA. 1972; NO 13; PP. 105-124; ABS. RUSSE ANGL.; BIBL. 4 REF.Serial Issue

ANALYSE STRUCTURELLE DANS L'ALGEBRE DES CONVERTISSEURS ANNIKITIN AN.1978; KIBERNETIKA; UKR; DA. 1978; NO 5; PP. 27-29; BIBL. 5 REF.Article

Page / 5