Feng Chen

From K Framework
Jump to: navigation, search

Feng Chen completed his PhD under Grigore Rosu in 2009.

Role in the K Framework Project

Developed the first formal definition of Java 1.4 using the K Technique.

Publications Related to the K Framework

A Rewriting Logic Approach to Static Checking of Units of Measurement in C 
Mark Hills, Feng Chen and Grigore Rosu
RULE'08, ENTCS, to appear, 2008
PDF, RULE'08 slides, RULE'08, BIB
Formal Analysis of Java Programs in JavaFAN 
Azadeh Farzan, Feng Chen, Jose Meseguer and Grigore Rosu
CAV'04, LNCS 3114, pp 501 - 505. 2004.
PDF, LNCS, CAV'04, DBLP, BIB

Personal tools
Namespaces

Variants
Actions
Navigation