DESCRIPTION AND COMPOSITION OF COMMUNICATING PROCESSES. PROBLEMS OF ANALYSIS AND CORRECTNESS = DESCRIPTION ET COMPOSITION DE PROCESSUS COMMUNICANTS. PROBLEMES D'ANALYSE ET D'EXACTITUDEJORRAND PHILIPPE.1982; ; FRA; DA. 1982; IMAG-RR/290; 24 P.; 30 CM; ABS. FRE; BIBL. 1 P.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-290]Report

A WEAKER PRECONDITION FOR LOOPSBOOM HJ.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 668-677; BIBL. 6 REF.Article

TUTORIAL ON PROGRAMMING LANGUAGE RESEARCHROWE AL.1980; WORKSHOP ON DATA ABSTRACTION, DATABASES AND CONCEPTUAL MODELLING/1980/PINGREE PARK CO; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1980; PP. 36-39Conference Paper

ON ALGORITHMIC LOGIC WITH PARTIAL OPERATIONSPETERMANN U.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 213-223; BIBL. 7 REF.Conference Paper

DATA TYPE SPECIFICATION: PARAMETERIZATION AND THE POWER OF SPECIFICATION TECHNIQUESTHATCHER JW; WAGNER EG; WRIGHT JB et al.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 711-732; BIBL. 26 REF.Article

ON THE COMPOSITION OF PROCESSESPRATT VR.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 213-223; BIBL. 20 REF.Conference Paper

A SYNTAX-FREE SEMANTICS FOR THE APL OPERATORSELGOT CC; PERLIS AJ; SNYDER L et al.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 3; PP. 128-131; BIBL. 12 REF.Article

BREVITY AND CLARITY IN COMMAND LANGUAGESMALCOLM JA.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 10; PP. 53-59; BIBL. 11 REF.Article

PARAMETRIZED DATA TYPES DO NOT NEED HIGHLY CONSTRAINED PARAMETERSARBIB MA; MANES EG.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 2; PP. 139-158; BIBL. 15 REF.Article

TREE CONSTRUCTIONS OF FREE CONTINUOUS ALGEBRASADAMEK J; NELSON E; REITERMAN J et al.1982; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1982; VOL. 24; NO 1; PP. 114-146; BIBL. 29 REF.Article

THE IF THEN ELSE STATEMENT AND INTERVAL-VALUED FUZZY SETS OF HIGHER TYPEHISDAL E.1981; INT. J. MAN-MACH. STUD.; ISSN 0020-7373; GBR; DA. 1981; VOL. 15; NO 4; PP. 385-455; BIBL. 2 P.Article

SOME OBSERVATIONS ON COMPOSITIONAL SEMANTICSJANSSEN TMV; VAN EMDEBOAS P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 137-149; BIBL. 25 REF.Conference Paper

AN EFFECTIVE RETRACT CALCULUSJOSKO B.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; VOL. 104; PP. 184-194; BIBL. 6 REF.Conference Paper

LE SYSTEME LUCID: UNE INTRODUCTION TRES INFORMELLE.LOECKX J.sdIN: JOURN. ET. SCHEMAS PROGRAMME SEMANTIQUE LANG. PROGRAMMATION; MOLINES EN QUEYRAS; 1976; S.L.; DA. S.D.; PP. 1-15; BIBL. 3 REF.Conference Paper

EVENT STRUCTURE SEMANTICS FOR CCS AND RELATED LANGUAGESWINSKEL G.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 561-576; BIBL. 15 REF.Conference Paper

MIXED COMPUTATION: POTENTIAL APPLICATIONS AND PROBLEMS FOR STUDYERSHOV AP.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 18; NO 1; PP. 41-67; BIBL. 34 REF.Article

ON TERMINATION PROBLEMS FOR FINITELY INTERPRETED ALGOL-LIKE PROGRAMSLANGMAACK H.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 1; PP. 79-108; BIBL. 32 REF.Article

PARAMETER PASSING COMMUTES WITH IMPLEMENTATION OF PARAMETERIZED DATA TYPESEHRIG H; KREOWSKI HJ.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 197-211; BIBL. 2 P.Conference Paper

REFINEMENTS OF GENERIC SPECIFICIATIONS WITH ALGEBRAIC TOOLS = RAFFINEMENTS DE SPECIFICATIONS GENERIQUES AU MOYEN D'OUTILS ALGEBRIQUESBERT DIDIER.1982; ; FRA; GRENOBLE: I.M.A.G.; DA. 1982; IMAG/RR-335; 20 P.; 30 CM; ABS. FRE; BIBL. 13 REF.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-335]Report

SEQUENTIAL ALGORITHMS ON CONCRETE DATA STRUCTURESBERRY G; CURIEN PL.1982; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1982; VOL. 20; NO 3; PP. 265-321; BIBL. 35 REF.Article

THE SRDL SPECIFICATION EXPERIMENTKLAEREN HA.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 282-293; BIBL. 4 REF.Conference Paper

SEMANTIQUE COMPOSITIONNELLE DES LANGAGES DE PROGRAMMATIONNIKITCHENKO NS.1982; PROGRAMMIROVANIE; ISSN 508098; SUN; DA. 1982; NO 6; PP. 9-18; BIBL. 9 REF.Article

A DATA TYPE THEORYGREITER G.1982; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 5; PP. 47-53; BIBL. 3 REF.Article

A THEORY OF INTERACTIVE PROGRAMMINGGERGELY T; URY L.1982; ACTA INF.; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 1; PP. 1-20; BIBL. 5 REF.Article

ALGEBRAIC SEMANTICS OF RECURSIVE FLOWCHART SCHEMESSCHMECK H.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 489-501; BIBL. 2 P.Conference Paper