Popeea,Corneliu Christian

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

(not current staff)

Variants

Popeea, C.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcspcc@nus.edu.sg

Refined By:

Department: DEAN'S OFFICE (SCHOOL OF COMPUTING)

Results 1-6 of 6 (Search time: 0.004 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2006	A flow-based approach for variant parametric types	Chin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C.
2	2006	A flow-based approach for variant parametric types	Chin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C.
3	2008	A practical and precise inference and specializer for array bound checks elimination	Popeea, C. ; Xu, D.N.; Chin, W.-N.
4	2004	A type system for resource protocol verification and its correctness proof	Popeea, C. ; Chin, W.-N.
5	2006	Core-Java: An expression-oriented Java	Craciun, F. ; Goh, H.Y.; Popeea, C. ; Chin, W.-N.
6	2007	Inferring disjunctive postconditions	Popeea, C. ; Chin, W.-N.