Concepedia

Zine-el-Abidine Benaissa

ZB

5

Publications

497

Citations

5

H-Index

1996

Active since

Affiliations

Oregon Research Institute(Current)

Portland State University

Zine-el-Abidine Benaissa is an author at Oregon Research Institute specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringAutomated ReasoningProgram Transformation

Publications per year

1996–1999

5

Publications

5

Building program optimizers with rewriting strategies

Eelco Visser, Zine-el-Abidine Benaissa, Andrew Tolmach · 1998 · 250 citations · Full text

Program Optimizers, Engineering, Extended Language +18

λν, a calculus of explicit substitutions which preserves strong normalisation

Zine-el-Abidine Benaissa, Daniel Briaud, Pierre Lescanne et al. · Journal of Functional Programming · 1996 · 95 citations · Full text

Engineering, Generalized Function, Automated Reasoning +10

A Core Language for Rewriting

Eelco Visser, Zine-el-Abidine Benaissa · Electronic Notes in Theoretical Computer Science · 1998 · 70 citations · Full text

Engineering, Verification, Software Engineering +22

DSL implementation using staging and monads

Tim Sheard, Zine-el-Abidine Benaissa · 1999 · 48 citations · Full text

Engineering, Software Engineering, Software Analysis +22

Building program optimizers with rewriting strategies

Eelco Visser, Zine-el-Abidine Benaissa, Andrew Tolmach · ACM SIGPLAN Notices · 1998 · 34 citations · Full text

Program Optimizers, Engineering, Extended Language +18

Rows per page

1–5 of 5