4
Publications
66
Citations
4
H-Index
1992
Active since
Affiliations
National University of Singapore(Current)
Wei-Ngan Chin is an author at National University of Singapore specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer EngineeringParallel ProgrammingSyntax
Publications per year
1992–2002
4
4
Parallelization via context preservation
Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu · 2002 · 31 citations
Safe fusion of functional expressions
Wei-Ngan Chin · ACM SIGPLAN Lisp Pointers · 1992 · 13 citations · Full text
Deforestation Technique, Engineering, Software Engineering +21
Better Consumers for Program Specializations.
Wei-Ngan Chin, Siau‐Cheng Khoo · 1996 · 12 citations
Rows per page
1–4 of 4