Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("BIDOIT M")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 16 of 16

  • Page / 1

Export

Selection :

  • and

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

  • Page / 1