BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Denmark
1 × Italy
1 × Serbia
1 × USA
1 × United Kingdom
2 × France
Collaborated with:
A.Middeldorp M.Sylvestre G.Sénizergues D.Sherman R.Strandh B.Courcelle C.Percebois I.Futó C.Simon B.Bonhoure
Talks about:
rewrit (4) term (3) recogniz (2) properti (2) program (2) preserv (2) partial (2) system (2) linear (2) invers (2)

Person: Irène Durand

DBLP DBLP: Durand:Ir=egrave=ne

Contributed to:

CIAA 20112011
RTA 20112011
RTA 20102010
RTA 20072007
RTA 20022002
FoSSaCS 20012001
CADE 19971997
PEPM 19911991
TAPSOFT, Vol.2: CFLP 19871987

Wrote 10 papers:

Fly-Automata, Their Properties and Applications (BC, ID), pp. 264–272.
RTA-2011-DurandS #bound #linear
Left-linear Bounded TRSs are Inverse Recognizability Preserving (ID, MS), pp. 361–376.
RTA-2010-DurandSS #bound #linear #term rewriting #termination
Termination of linear bounded term rewriting systems (ID, GS, MS), pp. 341–356.
RTA-2007-DurandS #bottom-up
Bottom-Up Rewriting Is Inverse Recognizability Preserving (ID, GS), pp. 107–121.
RTA-2002-Durand #named #term rewriting
Autowrite: A Tool for Checking Properties of Term Rewriting Systems (ID), pp. 371–375.
FoSSaCS-2001-DurandM #call-by #composition #on the
On the Modularity of Deciding Call-by-Need (ID, AM), pp. 199–213.
CADE-1997-DurandM #call-by #decidability #term rewriting
Decidable Call by Need Computations in term Rewriting (ID, AM), pp. 4–18.
PEPM-1991-ShermanSD #equation #optimisation #partial evaluation #source code #using
Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.
WSA-1991-DurandSS #equation #partial evaluation #source code
Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.
CFLP-1987-PerceboisFDSB #architecture #distributed #graph #multi #prolog #simulation
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph (CP, IF, ID, CS, BB), pp. 126–139.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.