#### Filter Results:

#### Publication Year

1983

2007

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang +1 other
- Software Development Environments
- 1988

This paper describes the organization of the CENTAUR system and its main components. The system is a generic interactive environment. When given the formal specification of a particular programming language-including syntax and semantics — it produces a language specific environment. This resulting environment includes a structure editor, an… (More)

- Janet Incerpi, Robert Sedgewick
- 24th Annual Symposium on Foundations of Computer…
- 1983

The running time of Shellsort, with the number of passes restricted to O(log N), was thought for some time to be Θ(N3/2), due to general results of Pratt. Sedgewick recently gave an O(N4/3) bound, but extensions of his method to provide better bounds seem to require new results on a classical problem in number theory. In this paper, we use a… (More)

- Janet Incerpi, Robert Sedgewick
- Inf. Process. Lett.
- 1987

- Bernard Chazelle, Janet Incerpi
- ACM Trans. Graph.
- 1984

This paper describes a new method for triangulating a simple n-sided polygon. The algorithm runs in time O(n log s), with s _< n. The quantity s measures the sinuosity of the polygon, that is, the number of times the boundary alternates between complete spirals of opposite orientation. The value of s is in practice a very small constant, even for extremely… (More)

- Dominique Clément, Janet Incerpi
- TAPSOFT, Vol.2
- 1989

- Dominique Clément, Janet Incerpi, Gilles Kahn
- SEE
- 1989

- P Borras, D Cl, T Despeyroux, J Incerpi, G Kahn, B Lang +3 others
- 2007

in this strategy the response becomes complete transparently when all futures are handled. Due to the space limitation we can neither discuss in detail all aspects of these strategies nor compare them. We can not also present the implementation with the Typol formalism. This work will be done in the full version. 5 Conclusion In this article, we have… (More)

The running time of Shellsort, with the number of passes restricted to @log N), was thought for some time to be Q(N212), due to general results of Pratt. Sedgewick recently gave an O(N413) bound, but extensions of his method to provide better bounds seem to require new results on a classical problem in number theory. In this paper, we use a different… (More)

- Dominique Cl, Janet Incerpi, Gilles Kahn, Inria, Sophia{antipolis France, Sophia Antipolis References +22 others
- 2007

1. Introduction The Centaur system is a generic interactive environment parameterized by the syntax and the semantics of programming languages. When provided with the description of a particular programming language {including its syntax and semantics{ it produces a language speciic environment. The resulting environment consists of a structure editor, an… (More)

- Bcd, P Borra, D Clement, T Despeyroux, J Incerpi, G Kahn +15 others
- 1998

A complete, exible compiler construction system. Simplicity Only simple imperative updates and drawings of control and data ow graphs are used to specify the language. Only 28 diierent symbols (for variables, macros, e.t.c.) are used in addition to the symbols introduced by the EBNF syntax-rules. The whole textual speciication of static and dynamic… (More)