au.\*:("BIDOIT M")
Results 1 to 16 of 16
Selection :
AUTOMATIC TRANSFORMATION OF ABSTRACT DATA TYPES "FAIR" PRESENTATIONSBIDOIT M.1982; ECAI 82. EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE/1982-07-12/ORSAY; DEU; KAISERLAUTERN: IMPR. ABTEILUNG FOTO-REPRO-DRUCK DER UNIVERSITAET KAISERLAUTERN; DA. 1982; PP. 91-95; BIBL. 10 REF.Conference Paper
POUR UNE REHABILITATION DE L'ALGORITHME D'UNIFICATION DE ROBINSONCORBIN J; BIDOIT M.1983; COMPTES RENDUS DES SEANCES DE L'ACADEMIE DES SCIENCES. SERIE 1: MATHEMATIQUE; ISSN 0249-6291; FRA; DA. 1983; VOL. 296; NO 5; PP. 279-282; BIBL. 5 REF.Article
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
UN PROGRAMME QUI SYNTHETISE (A PARTIR DE SPECIFICATIONS) DES PROGRAMMES MANIPULANT DES TABLEAUXBIDOIT M; GRESSE C; GUIHO G et al.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. 172-177; BIBL. 14 REF.Conference Paper
A SYSTEM WHICH SYNTHESIZES ARRAY-MANIPULATING PROGRAMS FROM SPECIFICATIONSBIDOIT M; GRESSE C; GUIHO G et al.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 63-65; BIBL. 12 REF.Conference Paper
Modular correctness proofs of behavioural implementationsBIDOIT, M; HENNICKER, R.Acta informatica. 1998, Vol 35, Num 11, pp 951-1005, issn 0001-5903Article
Observational specifications and the indistinguishability assumptionBERNOT, G; BIDOIT, M; KNAPIK, T et al.Theoretical computer science. 1995, Vol 139, Num 1-2, pp 275-314, issn 0304-3975Article
Une méthode de dérivation de programmes impératifs à partir de spécifications algébrico-opérationnelles = A method for deriving imperative programs from algebraic-operational specificationsZambrano, Nancy; Bidoit, M.1995, 284 p.Thesis
Observational logicHENNICKER, R; BIDOIT, M.Lecture notes in computer science. 1999, pp 263-277, issn 0302-9743, isbn 3-540-65462-3Conference Paper
Behavioural and abstractor specificationsBIDOIT, M; HENNICKER, R; WIRSING, M et al.Science of computer programming. 1995, Vol 25, Num 2-3, pp 149-186, issn 0167-6423Conference Paper
Behavioural approaches to algebraic specifications: a comparative studyBERNOT, G; BIDOIT, M; KNAPIK, T et al.Acta informatica. 1994, Vol 31, Num 7, pp 651-671, issn 0001-5903Article
Modularité dans les spécifications algébriques: théorie et applications = Modularity in algebraic specifications: theory and applicationsRoques, Clément; Bidoit, M.1994, 231 p.Thesis
Intégration des paradigmes de programmation parallèle, fonctionnelle et impérative: fondements sémantiques = Integrating concurrent, functional and imperative programming paradigms: semantic foundationsDebabi, Mourad; Bidoit, M.1994, 204 p.Thesis
How to make algebraic specifications more understandable: an experiment with the PLUSS specification languageBIDOIT, M; GAUDEL, M.-C; MAUBOUSSIN, A et al.Science of computer programming. 1989, Vol 12, Num 1, pp 1-38, issn 0167-6423Article
Architectural specifications in CASLBIDOIT, M; SANNELLA, D; TARLECKI, A et al.Lecture notes in computer science. 1999, pp 341-357, issn 0302-9743, isbn 3-540-65462-3Conference Paper
Correct realizations of interface constraints with OCLBIDOIT, M; HENNICKER, R; TORT, F et al.Lecture notes in computer science. 1999, pp 399-415, issn 0302-9743, isbn 3-540-66712-1Conference Paper