OBJECTS AND VALUES: THE BASIS OF A STORAGE MODEL FOR PROCEDURAL LANGUAGES.LOMET DB.1976; I.B.M. J. RES. DEVELOP.; U.S.A.; DA. 1976; VOL. 20; NO 2; PP. 157-167; BIBL. 33 REF.Article

REALISATION DE LA SEMANTIQUE PAR ATTRIBUTSPEN'YAM YA EH.1980; KIBERNETIKA; UKR; DA. 1980; NO 2; PP. 36-41; ABS. ENG; BIBL. 9 REF.Article

SUR UN MECANISME DE COMMANDE DES PROCESSUS PARALLELES ET SA REALISATIONKOVALENKO NS; KUSHNEREV NT.1980; KIBERNETIKA; UKR; DA. 1980; NO 5; PP. 60-64; ABS. ENG; BIBL. 4 REF.Article

FILTERS IN SL5.HANSON DR.1978; COMPUTER J.; G.B.; DA. 1978; VOL. 21; NO 6; PP. 134-143; BIBL. 17 REF.Article

A DESIGN TOOL FOR THE MULTILEVEL DESCRIPTION AND SIMULATION OF SYSTEMS OF INTERCONNECTED MODULES.MOALLA M; SAUCIER G; SIFAKIS J et al.1976; IN: ANNU. SYMP. COMPUT. ARCHIT. 3; CLEAWATER, FLA.; 1976; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1976; PP. 20-27; BIBL. 28 REF.Conference Paper

INTERACTION WITH DATABASES THROUGH PROCEDURAL LANGUAGESLICHTEN L; FERNANDEZ EB.1978; ACM 78. ASSOCIATION FOR COMPUTING MACHINERY. ANNUAL CONFERENCE/1978-12-4/WASHINGTON DC; USA; NEW YORK: THE ASSOCIATION FOR COMPUTING MACHINERY; DA. 1978; PP. 937-945; BIBL. 27 REF.Conference Paper

EXTENSION DE PROCEDURE DES LANGAGES DE PROGRAMMATION TRADITIONNELS POUR LE TRAITEMENT DES STRUCTURES HIERARCHIQUESMALEVANYJ NP.1978; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1978; NO 3; PP. 69-73; BIBL. 7 REF.Article

HUMAN FACTORS COMPARISON OF A PROCEDURAL AND A NONPROCEDURAL QUERY LANGUAGEWELTY C; STEMPLE DW.1981; ACM TRANS. DATABASE SYST.; ISSN 0362-5915; USA; DA. 1981; VOL. 6; NO 4; PP. 626-649; BIBL. 43 REF.Article

STRUCTURE SPECIFICATION WITH A PROCEDURAL HARDWARE DESCRIPTION LANGUAGEHILL FJ; SWANSON RE; MASUD M et al.1981; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1981; VOL. 30; NO 2; PP. 157-161; BIBL. 8 REF.Article

MACRO: A PROGRAMMING LANGUAGEGREENWOOD SR.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 12; PP. 80-91; BIBL. 4 REF.Article

A DATA VALIDATION LANGUAGEDOUMKOV PB.1978; SERDICA; BGR; DA. 1978 PUBL. 1979; VOL. 4; NO 2-3; PP. 209-213; BIBL. 4 REF.Article

EARLY DESIREKORN GA.1982; MATH. COMPUT. SIMUL.; ISSN 0378-4754; NLD; DA. 1982; VOL. 24; NO 1; PP. 30-36; BIBL. 8 REF.Article

UTILISATION DES TABLES DE DECISIONS POUR LA CONSTRUCTION D'UN ALGORITHME DE CORRECTION D'ERREURSSMOLYAR IV.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 4; PP. 30-33; BIBL. 2 REF.Article

SYSTEMES DE PROGRAMMATION POUR LA MISE AU POINT ET LA RESOLUTION DES PROBLEMES HYBRIDESKOGAN BI.1979; AVTOMAT. I TELEMEKH.; SUN; DA. 1979; NO 7; PP. 166-174; ABS. ENG; BIBL. 25 REF.Article

MAKING MACROSPACE EFFECTIVE.FLORES I.1978; COMPUTER LANGUAGES; GBR; DA. 1978; VOL. 3; NO 2; PP. 95-113; BIBL. 5 REF.Article

PROGRAMMATION LOGIQUE ET INFORMATIVE DES PROBLEMES D'ORDONNANCEMENTVIDOMENKO VP.1978; UPRAVL. SIST. MACH.; UKR; DA. 1978; NO 4; PP. 62-66; BIBL. 6 REF.Article

A simple architecture for consistent application program designROGERS, G. R.IBM systems journal. 1983, Vol 22, Num 3, pp 199-213, issn 0018-8670Article

Sur une approche de la formalisation en vue de la description des problèmesANTIMIROV, V. M; DIDUK, N. N; KOVAL, V. N et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1984, Num 5, pp 40-49, issn 0002-3388Article

A correctness proof of sorting by means of formal proceduresFOKKINGA, M. M.Science of computer programming. 1987, Vol 9, Num 3, pp 263-269, issn 0167-6423Article

Réalisation de la procédure de recherche du langage PROLOG à l'aide d'une mémoire associativeGORDIENKO, E. K.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1984, Num 5, pp 221-225, issn 0002-3388Article

Coalescing conditional branches into efficient indirect jumpsUH, G.-R; WHALLEY, D. B.Lecture notes in computer science. 1997, pp 315-329, issn 0302-9743, isbn 3-540-63468-1Conference Paper

Static analyses of congruence properties on rational numbersGRANGER, P.Lecture notes in computer science. 1997, pp 278-292, issn 0302-9743, isbn 3-540-63468-1Conference Paper

Reducing execution parameters through correspondence in computer architectureWAKEFIELD, S. P; FLYNN, M. J.IBM journal of research and development. 1987, Vol 31, Num 4, pp 420-434, issn 0018-8646Article

Knowledge representation: a survey of its mechanisms, a sketch of its semanticsKOBSA, A.Cybernetics and systems. 1984, Vol 15, Num 1-2, pp 41-89, issn 0196-9722Article

Learning text editing tasks from examples: a procedural approachMO, D. H; WITTEN, I. H.Behaviour & information technology (Print). 1992, Vol 11, Num 1, pp 32-45, issn 0144-929XArticle