Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Martin Jourdan

dblp:03/5589 · DBLP profile ↗
← Back
6ranked-venue papers
3as first author
0since 2021 · last 1994
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 3 first-authorTheory of computation · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science
real-time properties		 0.011993
Verifying Quantitative Real-Time Properties of Synchronous Programs · CAV 1993
Programming languages and type systems › grammar formalisms
attribute grammars		 0.011990
Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System · PLDI 1990
Embedded and real-time systems
real-time system verification		 0.011993
Verifying Quantitative Real-Time Properties of Synchronous Programs · CAV 1993

Methods — techniques the papers use, named apart from their topics

incremental evaluation · 0.0
YearPublicationVenuePosition
1994 Coupling Evaluators for Attribute Coupled Grammars
Gilles Roussel 0001, Didier Parigot, Martin Jourdan
 CC3
1993 Verifying Quantitative Real-Time Properties of Synchronous Programs
Martin Jourdan, Florence Maraninchi, Alfredo Olivero
 CAV1
1990 Techniques for Improving Grammar Flow Analysis
Martin Jourdan, Didier Parigot
 ESOP1
1990 Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System
abstract
FNC-2 is a new attribute grammar processing system aiming at expressive power, efficiency, ease of use and versatility. Its development at INRIA started in 1986, and a first running prototype is available since early 1989. Its most important features are: efficient exhaustive and incremental visit-sequence-based evaluation of strongly (absolutely) non-circular AGs; extensive space optimizations; a specially-designed AG-description language, with provisions for true modularity; portability and versatility of the generated evaluators; complete environment for application development. This paper briefly describes the design and implementation of FNC-2 and its peripherals. Then preliminary experience with the system is reported.
Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, Carole Le Bellec
 PLDI1
1987 A New Error Repair and Recovery Scheme for Lexical and Syntactic Analysis
Pierre Boullier, Martin Jourdan
 Sci. Comput. Program.2
1984 Speeding up Circularity Tests for Attribute Grammars
Pierre Deransart, Martin Jourdan, Bernard Lorho
 Acta Informatica2