Login / Signup
Alain Miniussi
Publication Activity (10 Years)
Years Active: 1994-1997
Publications (10 Years): 0
</>
Publications
</>
Alain Miniussi
,
Robert Strandh
An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems.
APPIA-GULP-PRODE
(1997)
Serge Chaumette
,
Alain Miniussi
Java APIs.
Eurographics (Tutorials)
(1997)
Alain Miniussi
,
David J. Sherman
Squeezing Intermediate Construction in Equational Programs.
Dagstuhl Seminar on Partial Evaluation
(1996)
Timo Metzemakers
,
Alain Miniussi
,
David J. Sherman
,
Robert Strandh
Improving Arithmetic Performance using Fine-Grain Unfolding.
PLILP
(1994)