VIAF

Virtual International Authority File

Search

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

Berry, Gerard ISNI

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
5 jeunes chercheurs d'avenir : Razvan Barbulescu, Wahb Ettoumi, Simon Labarthe, Anaïs Orsi, Crystèle Léauthaud Sudoc [ABES], France
Bottom-up computation of recursive programs / G. Berry, 1975 National Library of France Sudoc [ABES], France
CALCULS ASCENDANTS DES PROGRAMMES RECURSIFS Sudoc [ABES], France
The chemical abstract machine = La machine abstraite chimique Sudoc [ABES], France
Compiling Esterel Library of Congress/NACO Wikidata Sudoc [ABES], France
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings Library of Congress/NACO Sudoc [ABES], France
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
Gérard Berry, a programming pioneer, anglais National Library of France Sudoc [ABES], France
Gérard Berry, l'homme qui orchestre les ordinateurs National Library of France 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
L’informatique du temps et des événements : [leçon inaugurale prononcée le jeudi 28 mars 2013] Sudoc [ABES], 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
Partition pour ordinateur National Library of France
Penser, modéliser et maîtriser le calcul informatique [leçon inaugurale prononcée le 19 novembre 2009] Library of Congress/NACO National Library of France Sudoc [ABES], France
Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique National Library of France Sudoc [ABES], 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 National Library of France Sudoc [ABES], 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 (22)