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

Production de code par réécriture de termes de types abstraits algébriques = Code production by rewriting of algebraic abstrait type termsRAKOTOZAFY, Raymond.1982, Pag. mult. [200 p.], isbn 2-7261-0319-7Thesis

MCP: méthodologie de conception de programmes = A program design methodologyBadri Sahib, Linda; Martinez, Yves.1990, 193 p.Thesis

Un exemple de preuve de représentation à l'aide de l'outil O.A.S.I.S = A exemple of representation proof with the OASIS toolBARBERYE, G; JOUBERT, T.1983, 64 p.Report

Expression de C3 (Coopération, Concurrence, Communication) dans les spécifications par les types abstraits algébriques = C3 Expression (Cooperation, Concurrency, Communication) in the specifications by algebraic abstract typesSAYI, H.1983, 134 p.Report

Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers: abstraction, spécification, synthèse et optimisation = Formal techniques for the development of process-control systems in the area of manufacturing processes: abstraction, specification, synthesis and optimisationTchuenkam Tchoneng, Honoré; Finance, J. P.1991, 276 p.Thesis

Manuel OASIS (version février 1985) = OASIS ManualPAUL, E.1985, 4 p.Report

Algebraic relations and presentationsKAMIMURA, T; TANG, A.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 39-60, issn 0304-3975Article

Validation sémantique dans les théories structurées : application à un langage de programmation génériqueDrabik, Pascal; Bert, Didier.1989, 200 p.Thesis

The implementation of abstract objects in a capability based addressing architectureCORSINI, P; FROSINI, G; LOPRIORE, L et al.Computer journal (Print). 1984, Vol 27, Num 2, pp 127-134, issn 0010-4620Article

Outils d'aide à la construction et transformation de types abstraits algèbriques = Pools for aided to the design and transformation of algebraic abstract data typesLEVY, Nicole.1984, [278] pThesis

Système d'aide à la preuve de compilateurs = Systems for aided to compilators proofMADELAINE, Eric.1983, 345 pThesis

Database instances, abstract data types and database specificationMAIBAUM, T. S. E.Computer journal (Print). 1985, Vol 28, Num 2, pp 154-161, issn 0010-4620Article

SLAN 4 - A software specification and design languageBEICHTER, F. W; HERZOG, O; PETZSCH, H et al.IEEE transactions on software engineering. 1984, Vol 10, Num 2, pp 155-162, issn 0098-5589Article

Polymorphic programming. I: Another language designed on semantic principlesHARLAND, D. M; GUNN, H. I. E.Software, practice & experience. 1984, Vol 14, Num 10, pp 973-997, issn 0038-0644Article

REVEUR 4 : étude et mise en oeuvre de la réécriture conditionnelle = REVEUR 4: Study and implementation of conditional rewritingZHANG, Hantao.1984, 139 pThesis

Defining database views as data abstractionsCLAYBROOK, B. G; CLAYBROOK, A.-M; WILLIAMS, J et al.IEEE transactions on software engineering. 1985, Vol 11, Num 1, pp 3-14, issn 0098-5589Article

Algebraic specification of data-base applicationsDE CASTILHO, J. M. V; FURTADO, A. L; VELOSO, P. A. S et al.International journal on policy and information. 1984, Vol 8, Num 1, pp 59-70, issn 0251-1266Article

Comment présenter simplement le traitement des types abstraits de données = How to teach simply abstract data types processingBERNARD, L.TSI. Technique et science informatiques. 1984, Vol 3, Num 5, pp 319-326, issn 0752-4072Article

Message oriented programming ― A resource based methodologyCUNHA, P. R. F; LUCENA, C. J; MAIBAUM, T. S. E et al.Computer languages. 1983, Vol 8, Num 3-4, pp 95-111, issn 0096-0551Article

On abstract data types presented by multiequationsADAMEK, J; HEBERT, M; ROSICKY, J et al.Theoretical computer science. 2002, Vol 275, Num 1-2, pp 427-462, issn 0304-3975Article

Capability based tagged architecturesLOPRIORE, L.IEEE transactions on computers. 1984, Vol 33, Num 9, pp 786-803, issn 0018-9340Article

Safe data type specificationsPHILLIPS, N. C. K.IEEE transactions on software engineering. 1984, Vol 10, Num 3, pp 285-289, issn 0098-5589Article