Zine-el-Abidine Benaissa

Author

Also Known As

Zine-El-Abidine Benaissa, Zine-el-Abidine Benaissa, Zine-el-abidine Benaissa

Publications

598

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	497
2	Computer Science	5	5	497
3	Computer Engineering	2	2	284
4	Language Studies	1	1	70
5	Linguistics	1	1	70

Zine-el-Abidine Benaissa

Publications

497

Citations

H-Index

Page 1

	Year	Citations
Building program optimizers with rewriting strategies Eelco Visser, Zine-el-Abidine Benaissa, Andrew Tolmach Program OptimizersEngineeringExtended LanguageCompiler TechnologyComputer Architecture	1998	250
λν, a calculus of explicit substitutions which preserves strong normalisation Zine-el-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Journal of Functional Programming EngineeringGeneralized FunctionAutomated ReasoningC λξφType Theory	1996	95
A Core Language for Rewriting Eelco Visser, Zine-el-Abidine Benaissa Electronic Notes in Theoretical Computer Science EngineeringVerificationSoftware EngineeringCore LanguageSemantics	1998	70
DSL implementation using staging and monads Tim Sheard, Zine-el-Abidine Benaissa EngineeringSoftware EngineeringSoftware AnalysisFormal VerificationDomain-oriented Programming	1999	48
Building program optimizers with rewriting strategies Eelco Visser, Zine-el-Abidine Benaissa, Andrew Tolmach ACM SIGPLAN Notices Program OptimizersEngineeringExtended LanguageCompiler TechnologyComputer Architecture	1998	34

Page 1