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)