COMPILATION OF NONPROCEDURAL SPECIFICATIONS INTO COMPUTER PROGRAMSPRYWES NS; PNUELLI A.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 267-279; BIBL. 17 REF.Article

A PRELIMINARY SYSTEM FOR THE DESIGN OF DBTG DATA STRUCTURES.GERRITSEN R.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 10; PP. 551-557; BIBL. 9 REF.; (ACM SIGMOD CONF. MANAGE. DATA; SAN JOSE, CALIF.; 1975)Conference Paper

INPUT-OUTPUT TOOLS: A LANGUAGE FACILITY FOR INTERACTIVE AND REAL-TIME SYSTEMSVAN DEN BOS J; PLASMEIJER J; HARTEL PH et al.1983; IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; ISSN 0098-5589; USA; DA. 1983; VOL. 9; NO 3; PP. 247-258; BIBL. 22 REF.Article

NON-PROCEDURAL DATA PROCESSING.LEAVENWORTH BM.1977; COMPUTER J.; G.B.; DA. 1977; VOL. 20; NO 1; PP. 6-9; BIBL. 7 REF.Article

PARALLEL PROGRAMMING CONCEPTS IN A DEFINITIONAL LANGUAGE.KESSELS JLW.1976; SIGPLAN NOT.; U.S.A.; DA. 1976; VOL. 11; NO 10; PP. 19-31; BIBL. 5 REF.Article

AUTOMATIC PROGRAMMING OF COMMUNICATIONS SOFTWARE VIA NONPROCEDURAL DESCRIPTIONSGINSPARG JM; GORDON RD.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 6; PP. 1343-1347; BIBL. 4 REF.Article

SYSTEM CONVENTIONS FOR NON PROCEDURAL LANGUAGESHASKELL R; HARRISON PG.1980; COMPUTER J.; GBR; DA. 1980; VOL. 23; NO 2; PP. 132-141; BIBL. 14 REF.Article

PROGRAMMING WITH EQUATIONSHOFFMANN CM; ODONNELL MJ.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 1; PP. 83-112; BIBL. 36 REF.Article

SUR UNE APPROCHE DE LA CONSTRUCTION D'UN SYSTEME DE LANGAGE NON PROCEDURALBILKUN SN; NABEDRIK EM.1982; PROGRAMMIROVANIE; ISSN 508098; SUN; DA. 1982; NO 6; PP. 19-23; BIBL. 4 REF.Article

DEVELOPMENT PHILOSOPHY AND FUNDAMENTAL PROCESSING CONCEPTS OF THE ICL RAPID APPLICATION DEVELOPMENT SYSTEM RADSBROWN APG; COSH HG; GRADWELL DJL et al.1981; ICL TECHNICAL JOURNAL; ISSN 0142-1557; GBR; DA. 1981; VOL. 2; NO 4; PP. 379-402; BIBL. 13 REF.Article

UN ACERCAMIENTO PRAGMATICO AL COBOL COMO LENGUAJE NO PROCEDIMIENTO = UNE APPROCHE PRAGMATIQUE DU COBOL COMME LANGAGE NON PROCEDURALOSTERBERG W; ROETTGER C.1980; NOVATICA; ESP; DA. 1980; NO 33; PP. 69-72; BIBL. 4 REF.Article

SPECIFYING QUERIES AS RELATIONAL EXPRESSIONS: THE SQUARE DATA SUBLANGUAGE.BOYCE RF; CHAMBERLIN DD; KING WF III et al.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 11; PP. 621-628; BIBL. 20 REF.Article

SYSTEME POUR LA PROGRAMMATION DES BLOCS DE GENERATION DES INSTRUCTIONSCHEREMISINOV DI.1982; PROGRAMMIROVANIE; ISSN 508098; SUN; DA. 1982; NO 3; PP. 44-51; BIBL. 12 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

CONVERT: A HIGH LEVEL TRANSLATION DEFINITION LANGUAGE FOR DATA CONVERSION.SHU NC; HOUSEL BC; LUM VY et al.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 10; PP. 557-567; BIBL. 17 REF.; (ACM SIGMOD CONF. MANAGE. DATA; SAN JOSE, CALIF.; 1975)Conference Paper

IMPLEMENTATION OF A STRUCTURED ENGLISH QUERY LANGUAGE.ASTRAHAN MM; CHAMBERLIN DD.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 10; PP. 580-588; BIBL. 14 REF.; (ACM SIGMOD CONF. MANAGE. DATA; SAN JOSE, CALIF.; 1975)Conference Paper

A FORMAL MODEL OF AN INTERPRETER FOR NONPROCEDURAL LANGUAGESLAFUENTE JM.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 347-355; BIBL. 3 REF.Conference Paper

EXPLICATION DE L'ABSENCE DE PROCEDURE A L'AIDE DE LA THEORIE DES CATEGORIESVOL'DMAN G SH.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 4; PP. 72-79; BIBL. 11 REF.Article

A LANGUAGE FOR OFFICE AND BUSINESS AUTOMATIONZLOOF MM.1980; OFFICE AUTOMATION CONFERENCE/1980/ATLANTA GA; USA; S.L.: AFIPS PRESS; DA. 1980; PP. 249-260; BIBL. 12 REF.Conference Paper

A CODE GENERATOR GENERATOR LANGUAGEDONEGAN MK; NOONAN NE; FEYOCK S et al.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 8; PP. 58-64; BIBL. 6 REF.Conference Paper

PROSPECTS FOR NON-PROCEDURAL AND DATA-FLOW LANGUAGESTURNER DA.1982; MINI-MICRO SOFTW.; ISSN 507296; GBR; DA. 1982; VOL. 7; NO 3; PP. 8-15; BIBL. 10 REF.Article

REPRESENTATION ET UTILISATION DES CONNAISSANCES. II: REPRESENTATION DES CONNAISSANCESLAURIERE JL.1982; T.S.I. TECHNIQUE ET SCIENCE INFORMATIQUES; ISSN 0752-4072; FRA; DA. 1982; VOL. 1; NO 2; PP. 109-133; ABS. ENG; BIBL. 1 P.Article

RDL: A LANGUAGE FOR SOFTWARE DEVELOPMENTHEACOX HC.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 12; PP. 71-79; BIBL. 9 REF.Article

NON-PROCEDURAL COMPUTER PROGRAMMING WITH MODELSHASTRY S; PRYWES N; PNUELI A et al.1977; COMPSAC 77. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 1/1977-11-08/CHICAGO; USA; NEW YORK: IEEE; DA. 1977; 500-506; BIBL. 8 REF.Conference Paper

ON OPTIMIZING AN SQL-LIKE NESTED QUERYKIM W.1982; ACM TRANS. DATABASE SYST.; ISSN 0362-5915; USA; DA. 1982; VOL. 7; NO 3; PP. 443-469; BIBL. 24 REF.Article