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

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 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

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

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

PROGRAMMING LANGUAGES AND LOGICS OF PROGRAMSRADEV SR.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 253-257; BIBL. 9 REF.Conference Paper

ALGEBRAIC SEMANTICS AND PROGRAM LOGICS: ALGORITHMIC LOGIC FOR PROGRAM TREESENJALBERT P.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 132-147; BIBL. 17 REF.Conference Paper

ALGORITHMIC PROPERTIES OF FINITELY GENERATED STRUCTURESDANKO W.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 118-131; BIBL. 22 REF.Conference Paper

FIXED-POINT SEMANTICS FOR ALGEBRAIC (TREE) GRAMMARSNIWINSKI D.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 384-396; BIBL. 5 REF.Conference Paper

PARTIAL ABSTRACT TYPESBROY M; WIRSING M.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 1; PP. 47-64; BIBL. 41 REF.Article

THEORY OF SYMBOLIC EXPRESSIONS. ISATO M.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 22; NO 1; PP. 19-55; BIBL. 11 REF.Article

APPROXIMATION OF INFINITARY OBJECTSCOMYN G; DAUCHET M.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 116-127; BIBL. 19 REF.Conference Paper

CONSTRAINTS: A UNIFORM MODEL FOR DATA AND CONTROLDEUTSCH L.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 118-120; BIBL. 5 REF.Conference Paper

DYNAMIC ALGEBRAS OF PROGRAMSNEMETI I.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 117; PP. 261-290; BIBL. 11 REF.Conference Paper

LANGUAGE DESIGN METHODS BASED ON SEMANTIC PRINCIPLES: ALGOL 68, A LANGUAGE DESIGNED USING SEMANTIC PRINCIPLESBERRY DM.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981 PUBL. 1981; VOL. 15; NO 1; PP. 83-98; BIBL. 43 REF.Article

THE CONGRUENCE OF TWO PROGRAMMING LANGUAGE DEFINITIONSSTOY JE.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 13; NO 2; PP. 151-174; BIBL. 16 REF.Article

THE LOGIC OF ALIASINGCARTWRIGHT R; OPPEN D.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 4; PP. 365-384; BIBL. 17 REF.Article

A COOK'S TOUR COUNTABLE NONDETERMINISMAPT KR; PLOTKIN GD.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 479-494; BIBL. 17 REF.Conference Paper

A MECHANISM OF FUNCTIONAL ASSOCIATION BETWEEN VARIABLE VALUES; THE ROI DE RATSCAYROL M; DURIEUX JL; FARRENY H et al.1981; KYBERNETES; ISSN 0368-492X; GBR; DA. 1981; VOL. 10; NO 2; PP. 105-111; BIBL. 14 REF.Article

ALGEBRAIC SPECIFICATION OF DATA TYPES: A SYNTHETIC APPROACHLEHMANN DJ; SMYTH MB.1981; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1981; VOL. 14; NO 2; PP. 97-139; BIBL. 43 REF.Article

DIJKSTRA'S PREDICATE TRANSFORMERS AND SMYTH'S POWERDOMAINSPLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 527-553; BIBL. 2 P.Conference Paper