AN INTERATIVE ALGORITHM FOR ANALYSIS OF VARIANCEDAUDIN JJ.1979; INTERNATION. J. BIO-MED. COMPTG; GBR; DA. 1979; VOL. 10; NO 6; PP. 507-518; ABS. FRE; BIBL. 6 REF.Article

THE AUTOMATIC SYNTHESIS OF ITERATIVE PROGRAMSGINI G.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 2; PP. 67-73; BIBL. 14 REF.Article

ON DEVELOPMENT OF ITERATIVE PROGRAMS FROM FUNCTION SPECIFICATIONSBASU SK.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 2; PP. 170-182; BIBL. 15 REF.Article

TRANSLATING SOME RECURSIVE PROCEDURES INTO ITERATIVE SCHEMAS.IRLIK J.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 39-52; BIBL. 4 REF.Conference Paper

TRANSFORMATIONS DE PROGRAMMES ITERATIFS.COUSINEAU G.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 53-74; BIBL. 2 P.Conference Paper

A DISCUSSION OF THE ERROR ANALYSIS IN LAOCOON-LIKE ITERATIVE PROGRAMSMANSCHER O; SCHAUMBURG K; JACOBSEN JP et al.1981; ACTA CHEM. SCAND., SER. A; ISSN 0302-4377; DNK; DA. 1981; VOL. 35; NO 1; PP. 13-24; BIBL. 46 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

DEFINABILITY BY PROGRAMS IN FIRST-ORDER STRUCTURESKFOURY AJ.1983; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1983; VOL. 25; NO 1; PP. 1-66; BIBL. 23 REF.Article

INFORMATIQUE-PROGRAMMATION C.N.A.M. COURS ARAYMOND FH.1980; ; FRA; PARIS: MASSON/ISSY-LES-MOULINEAUX: E.A.P.; DA. 1980; 251 P.; 22 CM; ISBN 2-225-67716-6Book

CHARTES, ARBRES, PROGRAMMES ITERATIFSNIVAT M.1978; REV. TECH. THOMSON-C.S.F.; FRA; DA. 1978; VOL. 10; NO 4; PP. 705-731; ABS. ENG/GER; BIBL. 8 REF.Article

AN INTERATIVE PROGRAM TO CALCULATE FIBONACCI NUMBERS IN O(LOG N) ARITHMETIC OPERATIONSSHORTT J.1978; INFORM. PROCESSG LETTERS; NLD; DA. 1978; VOL. 7; NO 6; PP. 299-303; BIBL. 2 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

A distributed programming assistantRAMSAY, A.Software, practice & experience. 1983, Vol 13, Num 11, pp 983-992, issn 0038-0644Article

Rewriting systems on FP expressions to reduce the number of sequences yieldedBELLEGARDE, F; SINTZOFF, M.Science of computer programming. 1986, Vol 6, Num 1, pp 11-34, issn 0167-6423Article

Scheduling iterative programs onto logP-machineLÖWE, W; ZIMMERMANN, W.Lecture notes in computer science. 1999, pp 332-339, issn 0302-9743, isbn 3-540-66443-2Conference Paper

LA PROGRAMMATION EN EXEL. IICOUSINEAU G.1979; REV. TECH. THOMSON-C.S.F.; FRA; DA. 1979; VOL. 11; NO 1; PP. 13-35; ABS. ENG; BIBL. 8 REF.Article

A SURVEY OF INPUT-OUTPUT SEMANTICS AND PROGRAM VERIFICATIONBLIKLE A.1979; PRACE I.P.I. P.A.N.; POL; DA. 1979; NO 344; (64 P.); ABS. POL/RUS; BIBL. 5 P.Serial Issue

EMPLOI DE METHODES CONSTRUCTIVES EN PROGRAMMATION. UN DOSSIER: LA FONCTION D'ACKERMANN.ARSAC JJ.1977; R.A.I.R.O., INFORMAT. THEOR.; FR.; DA. 1977; VOL. 11; NO 2; PP. 91-112; BIBL. 1 P.Article

An algorithm for the derivation of codefinitions in computer programsLASKI, J.Information processing letters. 1986, Vol 23, Num 2, pp 85-90, issn 0020-0190Article

Description and improvement of iterative program transformationsSOUQUIERES, J; FINANCE, J.-P.Science of computer programming. 1985, Vol 5, Num 3, pp 233-264, issn 0167-6423Article

Adaptive iterative algorithm for focusators synthesisKOTLYAR, V. V; NIKOLSKY, I. V; SOIFER, V. A et al.Optik (Stuttgart). 1991, Vol 88, Num 1, pp 17-19, issn 0030-4026Article

Counting paths: nondetermination as linear algebraBENSON, D. B.IEEE transactions on software engineering. 1984, Vol 10, Num 6, pp 785-794, issn 0098-5589Article

Alternatives to voxels for image representation in iterative reconstruction algorithmsLEWITT, R. M.Physics in medicine & biology (Print). 1992, Vol 37, Num 3, pp 705-716, issn 0031-9155Conference Paper

A minimization solver for many parametersSMITH, D. K.Journal of quality technology. 1986, Vol 18, Num 4, pp 248-254, issn 0022-4065Article

SYNTHESE MANIPULATION ET TRANSFORMATION DE PROGRAMMES: JOURNEES D'ETUDES SESORI (SERVICE DE SYNTHESE ET D'ORIENTATION DE LA RECHERCHE EN INFORMATIQUE), SAINT REMY DE PROVENCE, 10-12 MAI 19781978; SYNTHESE MANIPULATION ET TRANSFORMATION DE PROGRAMMES. JOURNEES D'ETUDES SESORI/1978-05-10/SAINT REMY DE PROVENCE; FRA; ROCQUENCOURT: I.R.I.A.; DA. 1978; 262 P.: ILL.; 29 CM; ISBN 2-7261-0178-XConference Proceedings