Concepedia

Chiyan Chen

CC

6

Publications

577

Citations

6

H-Index

2003

Active since

Affiliations

Boston University(Current)

Chiyan Chen is an author at Boston University specializing in formal methods, program analysis, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationSoftware DesignSoftware Engineering

Publications per year

2003–2005

6

Publications

6

Guarded recursive datatype constructors

Hongwei Xi, Chiyan Chen, Gang Chen · 2003 · 327 citations

Engineering, Data Type, Program Analysis +14

Combining programming with theorem proving

Chiyan Chen, Hongwei Xi · 2005 · 113 citations

Mathematical Programming, Engineering, Type Theory +16

Meta-programming through typeful code representation

Chiyan Chen, Hongwei Xi · 2003 · 56 citations

Engineering, Generic Programming, Automated Reasoning +13

Guarded recursive datatype constructors

Hongwei Xi, Chiyan Chen, Gang Chen · ACM SIGPLAN Notices · 2003 · 41 citations

Engineering, Data Type, Program Analysis +14

Meta-programming through typeful code representation

Chiyan Chen, Hongwei Xi · Journal of Functional Programming · 2005 · 21 citations · Full text

Engineering, Generic Programming, Automated Reasoning +13

Rows per page

1–5 of 6