INNER LOOPS IN FLOWGRAPHS AND CODE OPTIMIZATIONVASUDEVAN S.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 2; PP. 143-155; BIBL. 9 REF.Article

AN ANALYSIS OF CHECKPOINTINGBROCK A.1979; I.C.L. TECH. J.; GBR; DA. 1979; VOL. 1; NO 3; PP. 211-228Article

MISE EN EVIDENCE DE RELATIONS D'ORDRE DYNAMIQUE ENTRE LES INSTRUCTIONS D'UN PROGRAMME.ADAM A; LAURENT JP.1976; IN: PANORAMA NOUV. INF. FRANCE. CONGR. AFCET; GIF-SUR-YVETTE; 1976; PARIS; ITC; DA. 1976; VOL. 1; PP. 169-179; BIBL. 6 REF.Conference Paper

THE CYCLOMATIC NUMBER AND THE NORMAL NUMBER OF PROGRAMSCULIK K.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 4; PP. 12-17; BIBL. 5 REF.Article

UN SYSTEME QUI MET EN EVIDENCE DES ERREURS SEMANTIQUES DANS LES PROGRAMMESLAURENT JEAN PIERRE.1978; ; FRA; DA. 1978; (3)-194-(11) P.; 30 CM; BIBL. 11 P.; TH.: SCI. MATH., INFORM./PARIS 6/1978Thesis

THE STRUCTURE OF LOOP PROGRAMS AND SUBRECURSIVE HIERARCHIESGOETZE B; NEHRLICH W.1980; Z. MATH. LOGIK GRUNDL. METH.; ISSN 0044-3050; DDR; DA. 1980; VOL. 26; NO 3; PP. 255-278; BIBL. 35 REF.Article

SUR UNE PROPRIETE DES REALISATIONS OPTIMALES D'UN TYPE SPECIAL DE CYCLESMITASHYUNAS A YU; TARASOV VV.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 1; PP. 3-10; BIBL. 1 REF.Article

FINDING A MINIMAL SET OF BASE PATHS OF A PROGRAMKOH H; CHUANG HYH.1979; INTERNATION. J. COMPUTER INFORM. SCI.; USA; DA. 1979; VOL. 8; NO 6; PP. 473-488; BIBL. 7 REF.Article

ASSERTION PROGRAMMINGBLIKLE AJ.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 26-42; BIBL. 31 REF.Conference Paper

CONTRIBUTION A L'ETUDE DES EQUIVALENCES SYNTAXIQUES ET TRANSFORMATIONS DE PROGRAMMES PARALLELESROUCAIROL GERARD.1978; ; FRA; DA. 1978; PAG. MUTL.: ILL.; 21 CM; BIBL. 4 P.; TH.: SCI. MATH./PARIS 6/1978Thesis

RECURSION INDUCTION PRINCIPLE REVISITEDBOUDOL G; KOTT L.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 22; NO 1; PP. 135-173; BIBL. 34 REF.Article

A TRANSFORMATIONAL APPROACH FOR DEVELOPING PARALLEL PROGRAMSPETTOROSSI A.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 111; PP. 245-258; BIBL. 9 REF.Conference Paper

PATH CALCULUS IN PROGRAM VERIFICATIONBRAND D.1978; J. ASS. COMPUTG MACHIN.; USA; DA. 1978; VOL. 25; NO 4; PP. 630-651; BIBL. 10 REF.Article

PROOF OF TERMINATION WITHIN A WEAK LOGIC OF PROGRAMS.LUCKHAM DC; SUZUKI N.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 8; NO 1; PP. 21-36; BIBL. 16 REF.Article

METHODE DE CONSTRUCTION STRUCTURELLE DES TESTS POUR LA MISE AU POINT DES PROGRAMMES DE COMMANDEPOZIN BA.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 2; PP. 62-69; BIBL. 7 REF.Article

COMPLETENESS PROBLEMS IN VERIFICATION OF PROGRAMS AND PROGRAM SCHEMESANDREXA H; NEMETT I; SAIN I et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 208-218; BIBL. 14 REF.Conference Paper

LA SYNTHESE DU "MEILLEUR" PROGRAMME A PARTIR D'EXEMPLESKODRATOFF Y.1979; RECONNAISSANCE DES FORMES ET INTELLIGENCE ARTIFICIELLE. ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE. INSTITUT DE RECHERCHE D'INFORMATIQUE ET D'AUTOMATIQUE. CONGRES. 2/1979/TOULOUSE; FRA; ROCQUENCOURT: IRIA; DA. 1979; VOL. 1; PP. 137-144; BIBL. 12 REF.Conference Paper

A NOTE ON THE PROOF OF A CONCURRENT PROGRAMBEST E.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 9; NO 3; PP. 103-104; BIBL. 1 REF.Article

TEST RELIABILITY AND SOFTWARE MAINTENANCEHAMLET R.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 315-320; BIBL. 15 REF.Conference Paper

PROOF THEORY OF PARTIAL CORRECTNESS VERIFICATION SYSTEMS.GERHART SL.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 355-377; BIBL. 27 REF.Article

AN 0(N) ALGORITHM FOR COMPUTING THE SET OF AVAILABLE EXPRESSIONS OF D-CHARTS.TANIGUCHI K; KASAMI T.1976; ACTA INFORMAT.; ALLEM.; DA. 1976; VOL. 6; NO 4; PP. 361-364; BIBL. 10 REF.Article

USING CONVERT TO TRANSFORM SOURCE CODEWOLBERG JR; RAFAL M.1979; SOFTWARE-PRACT. EXPER.; GBR; DA. 1979; VOL. 9; NO 11; PP. 881-890; BIBL. 9 REF.Article

OBTENTION AUTOMATIQUE DE PROGRAMMES ITERATIFS OPTIMISES POUR LE CALCUL D'UN ENSEMBLE DE FONCTIONS RECURSIVESGARIJO FJ.1979; RECONNAISSANCE DES FORMES ET INTELLIGENCE ARTIFICIELLE. ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE. INSTITUT DE RECHERCHE D'INFORMATIQUE ET D'AUTOMATIQUE. CONGRES. 2/1979/TOULOUSE; FRA; ROCQUENCOURT: IRIA; DA. 1979; VOL. 1; PP. 121-128; BIBL. 10 REF.Conference Paper

METHODES DE DETECTION DES ERREURS DANS LES SUITES ALPHA-NUMERIQUES AU STADE DE LA PREPARATION ET DE L'INTRODUCTION DES DONNEES DANS UN CALCULATEURTIMOFEEV BB; LITVINOV VA.1977; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1977; NO 4; PP. 20-27; BIBL. 13 REF.Article

COMPUTER PROGRAM SCHEMATA AND THE PROCESSES THEY GENERATEWESSELKAMPER TC.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 4; PP. 412-419; BIBL. 5 REF.Article