MODIFIABILITY OF LARGE SOFTWARE SYSTEMSBELADY LA.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; NO 143; PP. 160-174; BIBL. 8 REF.Article

SPECIFICATION LANGUAGES AND PROGRAM TRANSFORMATIONPEPPER P.1982; RELATIONSHIP BETWEEN NUMERICAL COMPUTATION AND PROGRAMMING LANGUAGES./WORKING CONFERENCE 1981-08-03/BOULDER COI; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1982; PP. 331-346; BIBL. 17 REF.Conference Paper

A COSTING MODEL FOR SOFTWARE CONVERSIONSWOLBERG JR.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 11; PP. 1043-1049; BIBL. 4 REF.Article

FORMAL INTEGRATION: A PROGRAM TRANSFORMATION TECHNIQUESHARIR M.1981; COMPUT. LANG.; ISSN 0096-0551; USA; DA. 1981; VOL. 6; NO 1; PP. 35-46; BIBL. 13 REF.Article

THE EVALUATION OF PROGRAMS. A SYSTEM FOR AUTOMATIC PROGRAM MODIFICATION.DERSHOWITZ N; MANNA Z.1977; IN: ACM SYMP. PRINC. PROGRAM. LANG. 4; LOS ANGELES; 1977; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1977; PP. 144-154; BIBL. 11 REF.Conference Paper

HEURISTIC CONTROL OF DESIGN-DIRECTED PROGRAM TRANSFORMATIONSJETTE CL.1979; NATIONAL COMPUTER CONFERENCE/1979/NEW YORK NY; USA; MONTVALE: AFIPS PRESS; DA. 1979; PP. 1071-1077; BIBL. 14 REF.Conference Paper

PROGRAM CONVERSION - ONE SUCCESSFUL PARADIGMLYNN C JR; RISLEY J; WELLS R et al.1979; NATIONAL COMPUTER CONFERENCE/1979/NEW YORK NY; USA; MONTVALE: AFIPS PRESS; DA. 1979; PP. 139-146; BIBL. 10 REF.Conference Paper

SOME MODIFIED ALGORITHMS FOR DIJKSTRA'S LONGEST UPSEQUENCE PROBLEMDEWAR RBK; MERRITT SM; SHARIR M et al.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 1; PP. 1-15; BIBL. 12 REF.Article

APPLICATIVE STYLE PROGRAMMING, PROGRAM TRANSFORMATION, AND LIST OPERATORSWADLER P.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 25-32; BIBL. 2 P.Conference Paper

TRANSFORMING PROGRAMS TO MONITOR CORRECT SEQUENCINGMIDDLETON AG; BOYD RN.1982; A GENERAL SURVEY OF SYSTEMS METHODOLOGY. SOCIETY FOR GENERAL SYSTEMS RESEARCH. ANNUAL MEETING. 26/1982-01-05/WASHINGTON DC; USA; LOUISVILLE: SOCIETY FOR GENERAL SYSTEMS RESEARCH; DA. 1982; PP. 338-341; BIBL. 7 REF.Conference Paper

A SIMPLE OPTIMIZER FOR FP-LIKE LANGUAGESISLAM N; MYERS TJ; BROOME P et al.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 33-39; BIBL. 8 REF.Conference Paper

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

PREUVE DE PROGRAMMES DANS UN LANGAGE SANS ASSIGNATION - LUCID = PROOF OF PROGRAMS IN A NON-ASSIGNED LANGUAGE - LUCIDRICHIER JEAN LUC.1982; ; FRA; DA. 1982; 96 P.-PL.; 30 CM; BIBL. 2 P.; TH. 3E CYCLE: SCI./PARIS 6/1982/82-30Thesis

COPYING OPERANDS VERSUS COPYING RESULTS: A SOLUTION TO THE PROBLEM OF LARGE OPERANDS IN FFP'SMAGO G.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 93-97; BIBL. 7 REF.Conference Paper

TRANSFORMATIONS OF FP PROGRAM SCHEMESKIEBURTZ RB; SHULTIS J.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 41-48; BIBL. 14 REF.Conference Paper

CONVERSION DES TABLES DE DECISIONSEREMEEV AP.1981; PROGRAMMIROVANIE; SUN; DA. 1981; NO 1; PP. 48-57; BIBL. 24 REF.Article

CONTINUATION-BASED PROGRAM TRANSFORMATION STRATEGIESWAND M.1980; J. ASS. COMPUTG MACHIN.; USA; DA. 1980; VOL. 27; NO 1; PP. 164-180; BIBL. 29 REF.Article

PROOFS AS DESCRIPTIONS OF COMPUTATIONGOAD CA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 39-52; BIBL. 2 P.Conference Paper

TRADUCTION DES SCHEMAS SEQUENTIELS DES PROGRAMMES EN SCHEMAS DE FLOTS DE DONNEESBORISENKO VI.1980; KIBERNETIKA; UKR; DA. 1980; NO 4; PP. 41-47; BIBL. 8 REF.Article

PROGRAMS FOR INSTRUCTION MACHINESPAWLAK Z; ROZENBERG G; SAVITCH WJ et al.1979; INFORM. AND CONTROL; USA; DA. 1979; VOL. 41; NO 1; PP. 9-28; BIBL. 1 REF.Article

SYNTACTIC SOURCE TO SOURCE TRANSFORMS AND PROGRAM MANIPULATIONARSAC JJ.1979; COMMUNIC. A.C.M.; USA; DA. 1979; VOL. 22; NO 1; PP. 43-54; BIBL. 24 REF.Article

VERS UNE SYSTEMATISATION RAISONNABLE DE LA CONSTRUCTION D'UN PROGRAMMEQUERE A; FINANCE JP.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. 74-82; BIBL. 13 REF.Conference Paper

FONDEMENT DES ALGORITHMES D'OPTIMISATION DES PROGRAMMESPOTTOSIN IV.1979; PROGRAMMIROVANIE; SUN; DA. 1979; NO 2; PP. 3-13; BIBL. 3 REF.Article

UN RESULTAT SUR L'EQUIVALENCE FONCTIONNELLE DES SCHEMAS DE PROGRAMMES AVEC DES OPERATEURS NON DEGENERESSHUKURYAN SK.1979; PROGRAMMIROVANIE; SUN; DA. 1979; NO 2; PP. 41-49; BIBL. 7 REF.Article

UTILISATION DE L'ALGOL-68 COMME LANGAGE DE MISE AU POINTBARANOV SN.1979; KIBERNETIKA; UKR; DA. 1979; NO 3; PP. 98-100; ABS. ENG; BIBL. 2 REF.Article