VIAF

Virtual International Authority File

Search

Berry, Gérard, 1948- Sudoc [ABES], France Library of Congress/NACO National Library of France National Library of the Czech Republic

Berry, Gérard ISNI German National Library

Gérard Berry informaticien membre du collège de france et créateur du langage Esterel Wikidata

VIAF ID: 44556535 (Personal)

Permalink: http://viaf.org/viaf/44556535

ISNI: 0000  0000  8378  1009 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (7)

Open Section Close SectionWorks

Title Sources
Bottom-up computation of recursive programs / G. Berry, 1975 Sudoc [ABES], France National Library of France
CALCULS ASCENDANTS DES PROGRAMMES RECURSIFS Sudoc [ABES], France
The chemical abstract machine = La machine abstraite chimique Sudoc [ABES], France
Compiling ESTEREL Wikidata Sudoc [ABES], France Library of Congress/NACO
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings Sudoc [ABES], France Library of Congress/NACO
The ESTEREL synchronous programming language : design, semantics, implementation Sudoc [ABES], France
From regular expressions to deterministic automata Sudoc [ABES], France
Full abstraction for sequential languages : the state of the art Sudoc [ABES], France
Implicit and explicit reachable state space exploration of Esterel logical circuits. Sudoc [ABES], France
Incremental development of an HDLC protocol in ESTEREL Sudoc [ABES], France
informatique du temps et des événements [leçon inaugurale prononcée le 28 mars 2013] Sudoc [ABES], France National Library of France
Informatique et sciences du numérique spécialité ISN en terminale S, avec des exercices corrigés et idées de projets Sudoc [ABES], France
Une introduction à la science informatique pour les enseignants de la discipline en lycée Sudoc [ABES], France
De la sémantique opérationnelle à la spécification formelle de compilateurs l'exemple des boucles en Esterel Sudoc [ABES], France
Le logiciel, objet de notre quotidien Sudoc [ABES], France
Loops in Esterel : from Operational Semantics to Formally Specified Compilers. Sudoc [ABES], France
Modèles complètement adéquats et stables des lambda-calculs typés Sudoc [ABES], France
On the definition of lambda-calculus models Sudoc [ABES], France
Penser, modéliser et maîtriser le calcul informatique Sudoc [ABES], France Library of Congress/NACO National Library of France
Pourquoi tu cherches? pourquoi et comment notre monde est devenu numérique ? Sudoc [ABES], France National Library of France
Programming a digital watch in ESTEREL v3 Sudoc [ABES], France
Sémantiques et modèles d'exécution des langages réactifs synchrones application à Esterel Sudoc [ABES], France
Le SIRH enjeux, projets et bonnes pratiques Sudoc [ABES], France National Library of France
système d'information des ressources humaines National Library of France
Systèmes embarqués : contraintes et technologies colloquium Jacques Morgenstern, 20 ans de recherche dans les STIC, quelle recherche dans 20 ans ?, mardi 10 décembre 2002 Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:44556535 (21)