A DATA DRIVEN SYSTEM FOR SYNTACTIC TRANSFORMATIONSMAHER B; SLEEMAN DH.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 10; PP. 50-52; BIBL. 4 REF.Article

EXPERIENCE WITH SOFTWARE CONVERSIONSAMET H.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 10; PP. 1053-1069; BIBL. 9 REF.Article

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

RELATIONSHIP BETWEEN MAXIMAL PARALLELISM AND MAXIMAL SIMULTANEITY IN A DIRECTED-GRAPH MODEL OF PARALLEL COMPUTATION. = RELATION ENTRE LE PARALLELISME MAXIMAL ET LA SIMULTANEITE MAXIMALE DANS LE MODELE A GRAPHES DIRIGES DU CALCUL PARALLELEBAIN D.1975; ELECTRON. LETTERS; G.B.; DA. 1975; VOL. 11; NO 25-26; PP. 629-630; BIBL. 6 REF.Article

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

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

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

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

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 SYSTEM FOR ASSISTING PROGRAM TRANSFORMATIONFEATHER MS.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 1; PP. 1-20; BIBL. 27 REF.Article

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

PROGRAM SPECIFICATION APPLIED TO A TEXT FORMATTERFEATHER MS.1982; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 5; PP. 490-498; BIBL. 22 REF.Article

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

THE USE OF TRANSFORMATIONS TO IMPLEMENT AN ALGORITHMTOWNLEY JA.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 381-406; BIBL. 12 REF.Conference Paper

UNFOLD/FOLD PROGRAM TRANSFORMATIONS = TRANSFORMATIONS DE PROGRAMME PAR PLIAGE/DEPLIAGEKOTT LAURENT.1982; ; FRA; DA. 1982; INRIA/RR-155; 28 P.; 30 CM; ABS. FRE; BIBL. 25 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 155]Report

PRINCIPES DE PLANIFICATION DE LA RESOLUTION DES PROBLEMES DANS UN SYSTEME DE SYNTHESE AUTOMATIQUE DES PROGRAMMESLAVROV SS; ZALOGOVA LA; PETRUSHINA TI et al.1982; PROGRAMMIROVANIE; ISSN 508098; SUN; DA. 1982; NO 3; PP. 35-43; BIBL. 3 REF.Article

COMPARING THE COST OF SOFTWARE CONVERSION TO THE COST OF REPROGRAMMINGWOLBERG JR.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 4; PP. 104-110; BIBL. 7 REF.Article

THE EXTERNAL STRUCTURE: EXPERIENCE WITH AN AUTOMATED MODULE INTECONNECTION LANGUAGEARCHIBALD JL.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 147-157; BIBL. 14 REF.Article

THE THEORY AND PRACTICE OF TRANSFORMING CALL-BY-NEED INTO CALL-BY-VALUEMYCROFT A.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 269-281; BIBL. 10 REF.Conference Paper