PRODUCTION DE CODE PAR REECRITURE DE TERMES DE TYPES ABSTRAITS ALGEBRIQUES = CODE PRODUCTION BY REWRITING TERMS OF ALGEBRAIC ABSTRACT TPESRAKOTOZAFY RAYMOND.1982; ; FRA; 78150-LE CHESNAY: IMPR. INST. NATL. INFORM. AUTOM.; DA. 1982; 197 P.; 30 CM; BIBL. 4 P.; ISBN 2-7261-0319-7; TH. 3E CYCLE: MATH./ORLEANS/1982Thesis

AN ABSTRACT DATA TYPE FACILITY FOR THE C LANGUAGESTROUSTRUP B.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 1; PP. 42-51Article

TUNING ALGEBRAIC SPECIFICATIONS BY TYPE MERGINGLAUT A; PARTSCH H.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 283-304Conference Paper

COMPLETENESS OF MANY-SORTED EQUATIONAL LOGICGOGUEN JA; MESEGUER J.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 7; PP. 24-32; BIBL. 2 P.Article

PROVING THE CORRECTNESS OF IMPLEMENTATIONS OF SHARED DATA ABSTRACTIONSKOZMA L.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 227-241; BIBL. 3 P.Conference Paper

MODELES NON DETERMINISTES DE TYPES ABSTRAITSLESCANNE P.1982; R.A.I.R.O., INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1982; VOL. 16; NO 3; PP. 225-244; ABS. ENG; BIBL. 26 REF.Article

A SYSTEM FOR REASONING WITHIN AND ABOUT ALGEBRAIC SPECIFICATIONSLESZCZYLOWSKI J; WIRSING M.1982; LECT. NOTES. COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 257-282; BIBL. 3 P.Conference Paper

CONCEPTION ET CERTIFICATION DE PROGRAMMES A PARTIR D'UNE DECOMPOSITION PAR LES DONNEESGUIHO G; GRESSE C; BIDOIT M et al.1980; R.A.I.R.O. INFORM.; ISSN 0399-0532; FRA; DA. 1980; VOL. 14; NO 4; PP. 319-351; ABS. ENG; BIBL. 39 REF.Article

CONSTRUCTION ET TRANSFORMATION SYSTEMATIQUES DE PROGRAMMESBELLEGARDE F; QUERE A; REMY JL et al.1980; R.A.I.R.O., INFORMAT.; FRA; DA. 1980; VOL. 14; NO 3; PP. 219-252; ABS. ENG; BIBL. 2 P.Article

CONSTRUCTING SPECIFICATIONS OF ABSTRACT DATA TYPES BY REPLACEMENTSEHRICH HD; LOHBERGER VG.1979; LECTURE NOTES COMPUTERS SCI.; DEU; DA. 1979; VOL. 73; PP. 180-191; BIBL. 21 REF.Conference Paper

AN APPROACH TO ABSTRACT SPECIFICATION BASED ON TRACES.CHESTER D.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 123-127; BIBL. 8 REF.Conference Paper

IMPLEMENTING A COMPILER-BASED TEST TOOLMCMULLIN PR; GANNON JD; WEISER MD et al.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 971-979; BIBL. 6 REF.Article

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

DAS PRINZIP DER DATENSTRUKTUR-ARCHITEKTUREN UND SEINE REALISIERUNG IM STARLET-RECHNER = LE PRINCIPE DE L'ARCHITECTURE-STRUCTURE DE DONNEES ET SA REALISATION DANS LE CALCULATEUR STARLETGILOI WK; GUTH R.1982; INFORM.-SPEKTRUM; ISSN 0170-6012; DEU; DA. 1982; VOL. 5; NO 1; PP. 21-37; ABS. ENG; BIBL. 34 REF.Article

DESCRIBING SOFTWARE DESIGN IN ADABOOCH G.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 42-47; BIBL. 6 REF.Article

LPG: LANGAGE POUR LA PROGRAMMATION GENERIQUEBERT D.1981; ; FRA; DA. 1981; IMAG-RR/262; 45 P.; 30 CM; ABS. ENG; BIBL. 2 P.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-262]Report

AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA TYPESBANATRE M; COUVERT A; HERMAN D et al.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 3; PP. 315-320; BIBL. 11 REF.Article

HIERARCHICAL PROGRAM SPECIFICATION AND VERIFICATION. A MANY-SORTED LOGICAL APPROACHNAKAJIMA R; HONDA M; NAKAHARA H et al.1980; ACTA INFORMAT.; DEU; DA. 1980; VOL. 14; NO 2; PP. 135-155; BIBL. 22 REF.Article

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

USING TYPE-EXTENSION TO ORGANIZE VIRTUAL-MEMORY MECHANISMSJANSON PA.1981; OPER. SYST. REV.; ISSN 0163-5980; USA; DA. 1981; VOL. 15; NO 4; PP. 6-38; BIBL. 22 REF.Article

SPECIFICATION ALGEBRIQUE ET AXIOMATIQUE DES EXCEPTIONS: APPLICATION A LA CERTIFICATION DES PROGRAMMES & A L'OPTIMISATION DES TESTSBERT D.1980; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1980; NO 183; 21 P.; ABS. ENG; BIBL. 15 REF.Serial Issue

VERS UNE SYSTEMATISATION RAISONNABLE DE LA CONSTRUCTION D'UN PROGRAMMEQUERE A; FINANCE JP.1979; RECONNAISSANCE DES FORMES ET INTELLIGENCE ARTIFICIELLE. ASSOCIATION FRANCAISE POUR LA CYBERNETIQUE ECONOMIQUE ET TECHNIQUE. INSTITUT DE RECHERCHE D'INFORMATIQUE ET D'AUTOMATIQUE. CONGRES. 2/1979/TOULOUSE; FRA; ROCQUENCOURT: IRIA; DA. 1979; VOL. 1; PP. 74-82; BIBL. 13 REF.Conference Paper

On the existence of free models in abstract algebraic institutionsTARLECKI, A; DE BAKKER, J. W.Theoretical computer science. 1985, Vol 37, Num 3, pp 269-304, issn 0304-3975Article

Un modèle algébrique basé sur les réseaux de Pétri pour l'étude des systèmes parallèles = Algebraic model based on the Petri nets for parallel systems studyVAUTHERIN, Jacques.1985, 150 pThesis

Conditional rewrite rulesKAPLAN, S.Theoretical computer science. 1984, Vol 33, Num 2-3, pp 175-193, issn 0304-3975Article