OPTIMAL CODE FROM FLOW GRAPHSRAMANATH MVS; SOLOMON M.1982; COMPUTER LANGUAGES; ISSN 0096-0551; USA; DA. 1982; VOL. 7; NO 1; PP. 41-52; BIBL. 9 REF.Article

CHOIX DES INDICES DE QUALITE LORS DE L'OPTIMISATION DE LA DISTRIBUTION DES MASSES ANORMALES D'APRES DES CHAMPS GRAVIMETRIQUES ET MAGNETIQUESBULAKH EG; KORCHAGIN IN.1979; DOKL. AKAD. NAUK UKR. S.S.R., B; UKR; DA. 1979; NO 1; PP. 6-9; ABS. ENG; BIBL. 7 REF.Article

GLOBAL DATA FLOW ANALYSIS AND ITERATIVE ALGORITHMS.KAM JB; ULLMAN JD.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 1; PP. 158-171; BIBL. 14 REF.Article

AN EXPERIMENT FOR THE EVALUATION OF LANGUAGE FEATURES.GANNON JD.1976; INTERNATION. J. MAN-MACH. STUD.; G.B.; DA. 1976; VOL. 8; NO 1; PP. 61-73; BIBL. 15 REF.Article

DE L'OPTIMISATION DES PROGRAMMES.EXEL M.1975; ; S.L.; DA. 1975; PP. (238P.); BIBL. 7 P. 1/2; (THESE DOCT. 3E CYCLE; UNIV. SCI. MED. GRENOBLE)Thesis

A SURVEY OF DATA FLOW ANALYSIS TECHNIQUES.ULLMAN JD.1975; IN: U.S.A.-JAP. COMPUT. CONF. 2. PROC.; TOKYO; 1976; MONTVALE; AM. FED. INF. PROCESS. SOC.; DA. 1975; PP. 335-342; BIBL. 1 P. 1/2Conference Paper

SOME TRANSFORMATIONS FOR DEVELOPING RECURSIVE PROGRAMS.BURSTALL RM; DARLINGTON J.sdIN: INT. CONF RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 465-472; BIBL. 10 REF.Conference Paper

A CONSIDERATION ON GLOBAL OPTIMIZATION OF MICROPROGRAMSTAKIZUKA T; TAMURA E; TOKORO M et al.1979; SYST. COMPUT. CONTROLS; ISSN 0096-8765; USA; DA. 1979 PUBL. 1981; VOL. 10; NO 2; PP. 19-28; BIBL. 11 REF.Article

A FAST AND USUALLY LINEAR ALGORITHM FOR GLOBAL FLOW ANALYSIS.GRAHAM SL; WEGMAN M.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 1; PP. 172-202; BIBL. 29 REF.Article

A PROGRAM DATA FLOW ANALYSIS PROCEDURE.ALLEN FE; COCKE J.1976; COMMUNIC. A.C.M.; U.S.A.; DA. 1976; VOL. 19; NO 3; PP. 137-147; BIBL. 20 REF.Article

HIGH LEVEL ITERATORS AND A METHOD FOR AUTOMATICALLY DESIGNING DATA STRUCTURE REPRESENTATION.EARLEY J.1975; COMPUTER LANGUAGES; G.B.; DA. 1975; VOL. 1; NO 4; PP. 321-342; BIBL. 11 REF.Article

STRUCTURED PROGRAMMING CONSTRUCTS FOR CONCURRENCY IN PROGRAM OPTIMISATION.DOWSING RD.1977; SIGPLAN NOT.; U.S.A.; DA. 1977; VOL. 12; NO 9; PP. 31-35; BIBL. 8 REF.Article

MICROPROGRAM OPTIMIZATION: A SURVEY.TILAR AGERWALA.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 10; PP. 962-973; BIBL. 22 REF.Article

L'OPTIMISATION DE PROGRAMMES AVEC BRANCHEMENTSMATWIN S.1976; PRACE C.O.P.A.N.; POLSKA; DA. 1976; NO 233; PP. 1-16; ABS. ANGL.; BIBL. 2 REF.Serial Issue

A COMPLETENESS THEOREM FOR STRAIGHT-LINE PROGRAMS WITH STRUCTURED VARIABLES.HOFFMANN CM; LANDWEBER LH.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 1; PP. 203-220; BIBL. 14 REF.Article

AN ALTERNATIVE APPROACH TO THE IMPROVEMENT OF LR(K) PARSERS.BACKHOUSE RC.1976; ACTA INFORMAT.; ALLEM.; DA. 1976; VOL. 6; NO 3; PP. 277-296; BIBL. 12 REF.Article

STATIC VERIFICATION OF DYNAMIC TYPE PROPERTIES OF VARIABLES.COUSOT P; COUSOT R.1975; VSM-INPG-MATH. APPL. INF.-RR-25; FR.; DA. 1975; PP. 1-18; BIBL. 1 P. 1/2Report

OPTIMIZING FOR A MULTIPROCESSOR: BALANCING SYNCHRONIZATION COSTS AGAINST PARALLELISM IN STRAIGHT-LINE CODEHIBBARD PG; RODEHEFFER TL.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 194-211; BIBL. 10 REF.Conference Paper

SOME OBSERVATIONS CONCERNING FORMAL DIFFERENTIATION OF RET THEORETIC EXPRESSIONSSHARIR M.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 2; PP. 196-225; BIBL. 21 REF.Article

HOW PRACTICAL IS POPL.ROSEN BK.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 1; PP. 115-116; BIBL. 8 REF.Article

A COMPOSITE ALGORITHM FOR STRENGTH REDUCTION AND CODE MOVEMENT OPTIMIZATIONDHAMDHERE DM; ISAAC JR.1980; INT. J. COMPUT. INF. SCI.; ISSN 0091-7036; USA; DA. 1980; VOL. 9; NO 3; PP. 243-273; BIBL. 13 REF.Article

A NEW APPROACH TO CODE MOTION AND ITS APPLICATION TO HOISTINGCRAWFORD JH; JAZAYERI M.1980; COMPUTER LANGUAGES; GBR; DA. 1980; VOL. 5; NO 1; PP. 29-36; BIBL. 11 REF.Article

COGNITIVE ECONOMYLENAT DOUGLAS B; HAYES ROTH FREDERICK; KLAHR PHILIP et al.1979; ; USA; SANTA MONICA CA: RAND; DA. 1979; RAND-N-1185-NSF; IX-46 P.; 28 CM; BIBL. 4 P.Report

OPTYMALIZACJA PROGRAMOW KOMPUTEROWYCH. METODY LODALUEJ ORAZ GLOBALNEJ PROPAGACJI STALYCH = OPTIMISATION DE PROGRAMMES. METHODES DE PROPAGATION DE CONSTANTE LOCALE ET GLOBALECZECH Z.1978; PODSTAWY STEROWAN.; POL; DA. 1978; VOL. 8; NO 4; PP. 389-408; ABS. ENG/RUS; BIBL. 11 REF.Article

IMPROVING PROGRAMS BY THE INTRODUCTION OF RECURSION.BIRD RS.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 11; PP. 856-863; BIBL. 11 REF.Article