A THEORY OF SMALL PROGRAM COMPLEXITYMAGEL K.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 3; PP. 37-45; BIBL. 20 REF.Article

PROVING LOOP PROGRAMS.BASU SK; JAYADEV MISRA.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 76-86; BIBL. 18 REF.Article

AXIOMATIC APPROACH TO TOTAL CORRECTNESS OF PROGRAMS.MANNA Z; PNUELI A.1974; ACTA INFORMAT.; ALLEM.; DA. 1974; VOL. 3; NO 3; PP. 243-263; BIBL. 5 REF.Article

STRUCTURED PROGRAMMING IN COBOL.HOUGH KA.1975; IN: U.S.A.-JAP. COMPUT. CONF. 2. PROC.; TOKYO; 1975; MONTVALE; AM. FED. INF. PROCESS. SOC.; DA. 1975; PP. 512-516; BIBL. 5 REF.Conference Paper

CARACTERISTIQUES TEMPORELLES DES PROGRAMMES ET LEUR UTILISATIONLIPANOV VD; LEBEDEV VI.1975; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1975; NO 3; PP. 23-26; ABS. ANGL.; BIBL. 2 REF.Article

ON THE INTERPRETATION OF RECURSIVE PROGRAM SCHEMES.NIVAT M.1974; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1974; NO 84; PP. 1-33; ABS. FR.; BIBL. 1 P.Article

A CRITICAL EXAMINATION OF SOFTWARE SCIENCELASSEZ JL; VAN DER KNIJFF D; SHEPHERD J et al.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 105-112; BIBL. 19 REF.Article

ON THE TEMPORAL ANALYSIS OF FAIRNESSGABBAY D; PNUELI A; SHELAH S et al.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 163-173; BIBL. 14 REF.Conference Paper

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

ON THE DESIGN AND DEVELOPMENT OF PROGRAM FAMILIES.PARNAS DL.1976; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1976; VOL. 2; NO 1; PP. 1-9; BIBL. 16 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

PROGRAMMING OBJECTIVES: AN ANALYSIS.PARKIN A.1975; COMPUTER J.; G.B.; DA. 1975; VOL. 18; NO 4; PP. 307-311; BIBL. 9 REF.Article

THE CORRECTNESS OF PROGRAMS.DEGLI ANTONI G.1975; IN: COMPUT. FRONT. INT. ADV.-STUDY COURSE; ERICE; 1972; ST-SAPHORIN; GEORGI; DA. 1975; PP. 137-145; BIBL. 18 REF.Conference Paper

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

ITERATED LIMITING RECURSION AND THE PROGRAM MINIMIZATION PROBLEM.SCHUBERT LK.1974; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1974; VOL. 21; NO 3; PP. 436-445; BIBL. 11 REF.Article

ANALYSE AUTOMATIQUE DES PROGRAMMES D'EXECUTIONMALYSHEV NB; SMIRNOVA TN.1974; ZAP. NAUCH. SEMINAR. L.O.M.I.; S.S.S.R.; DA. 1974; VOL. 48; PP. 23-31; BIBL. 4 REF.Article

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

SUR LES ESPACES INFORMATIQUES DE NOLIN ET LE BERREARESKI NAIT ABDALLAH.1982; C. R. SEANCES ACAD. SCI., SER. 1, MATH.; ISSN 0249-6291; FRA; DA. 1982; VOL. 295; NO 12; PP. 711-714; ABS. ENG; BIBL. 6 REF.Article

A PERSPECTIVE ON SOFTWARE SCIENCECHRISTENSEN K; FITSOS GP; SMITH CP et al.1981; IBM SYSTEMS JOURNAL; ISSN 0018-8670; USA; DA. 1981; VOL. 20; NO 4; PP. 372-387; BIBL. 14 REF.Article

QUALIFIED DATA FLOW PROBLEMSHOLLEY LH; ROSEN BK.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 68-82; BIBL. 20 REF.Conference Paper

COMPUTER PROGRAM DEVELOPMENT ANALYSISAUSTIN S; MCCRONE D; RYAN JP et al.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; 761-763; BIBL. 1 REF.Conference Paper

A FOUR-PROJECT EMPIRICAL STUDY OF SOFTWARE ERROR PREDICTION MODELSSUKERT AN.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 577-582; BIBL. 14 REF.Conference Paper

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 PROOF RULE FOR MULTIPLE CAROUTINE SYSTEMS.PRITCHARD PA.1976; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1976; VOL. 4; NO 6; PP. 141-143; BIBL. 8 REF.Article

AN AXIOMATIC BASIS FOR PROVING TOTAL CORRECTNESS OF GOTO-PROGRAMS.WANG A.1976; B.I.T.; DANM.; DA. 1976; VOL. 16; NO 1; PP. 88-102; BIBL. 6 REF.Article