Florin Craciun und Wei-Ngan Chin - Info zur Person

(1 - 12 von 14

)

Author: Florin Craciun

easychair.org

Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin and Wei-Ngan Chin. In:WING Workshop on Invariant Generation

Publications of Florin Craciun

about.chrjs.net

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, and Corneliu Popeea. A flow- based approach for variant parametric types. SIGPLAN Not.

Programming Languages and Systems: 6th Asian Symposium, APLAS ...

books.google.nl

Department of Computer Science, Durham University, UK florin.craciun ... Region Inference for CLI Alexandru Stefan, Florin Craciun, and Wei-Ngan Chin.

Formal Methods and Software Engineering: 12th International...

books.google.de

171 Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, and Wei-Ngan Chin API Conformance Verification for Java Programs Xin Li ...

dblp: Wei-Ngan Chin

dblp.uni-trier.de

List of computer science publications by Wei-Ngan Chin

Search results for "NASA Formal Methods" – FacetedDBLP

dblp.l3s.uni-hannover.de

Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin: ... NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, ...

Cristian Gherghina Joint work with: Wei-Ngan Chin, Razvan Voicu,...

slideplayer.com

Folding/Unfolding 3

Core-Java: An Expression-Oriented Java

www.bing.com

WebFlorin Craciun Hong Yaw Goh Corneliu Popeea Wei-Ngan Chin Department of Computer Science, National University of Singapore …

Research Projects

www7.in.tum.de

Research Projects Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea - A Flow-Based Approach for Variant Parametric Types.

Forschung - CQSE

www.bing.com

WebWei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea A flow-based approach for variant parametric types. Proceedings of the 21th Annual ACM SIGPLAN …

Variant Region Types — Teesside University's Research Portal

research.tees.ac.uk

Florin Craciun, Wei-ngan Chin, Shengchao Qin · Software & Systems Research Group · SCEDT School Executive Team. Research output: Contribution to ...

Research Projects

www.bing.com

WebFlorin Craciun, Corneliu Popeea, Siau-Cheng Khoo, Wei-Ngan Chin - Flow Analysis for Variant Parametric Types in Java. Poster presented at the Asian Symposium on …

Alle Infos zum Namen "Florin Craciun"

Verwandte Suchanfragen zu Florin Craciun

Siau-Cheng Khoo

Personen
Vorname "Florin" (1049)
Name "Craciun" (170)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Florin Craciun und Wei-Ngan Chin Person-Info