Jean-Marie Larchevêque

dblp:86/307 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
0since 2021 · last 1995
—ORCID · none

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

Software engineering, systems software and programming languages · 3 · 3 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
Compilers and program optimization · 100%

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

TopicWeightPapersLastEvidence papers
Compilers and program optimization
incremental compilation
0.011995
Optimal Incremental Parsing · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization › parsing
incremental parsing
0.011995
Optimal Incremental Parsing · ACM Trans. Program. Lang. Syst. 1995
Compilers and program optimization
parsing
0.011995
Optimal Incremental Parsing · ACM Trans. Program. Lang. Syst. 1995
YearPublicationVenuePosition
1995 Optimal Incremental Parsing
abstract
This communication sets the problem of incremental parsing in the context of a complete incremental compiling system. It turns out that, according to the incrementally paradigm of the attribute evaluator and data-flow analyzer to be used, two definitions of optimal incrementality in a parser are possible. Algorithms for achieving both forms of optimality are given, both of them based on ordinary LALR(1) parse tables. Optimality and correctness proofs, which are merely outlined in this communication, are made intuitive thanks to the concept of awell-formed list of threaded trees, a natural extension of the concept ofthreaded treefound in earlier works on incremental parsing.
Jean-Marie Larchevêque
ACM Trans. Program. Lang. Syst.1
1994 Interprocedural Type Propagation for Object-Oriented Languages
Jean-Marie Larchevêque
Sci. Comput. Program.1
1992 Interprocedural Type Propagation for Object-Oriented Languages
Jean-Marie Larchevêque
ESOP1