BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Luxembourg
1 × United Kingdom
3 × USA
Collaborated with:
W.Chin S.Qin S.Motogna I.Lazar G.He S.Khoo C.Popeea M.C.Rinard C.Gherghina R.Voicu Q.L.Le
Talks about:
parametr (2) variant (2) infer (2) type (2) base (2) disjunct (1) calculus (1) approach (1) support (1) special (1)

Person: Florin Craciun

DBLP DBLP: Craciun:Florin

Contributed to:

ICST 20132013
CAV 20112011
ESOP 20092009
OOPSLA 20062006
PLDI 20042004

Wrote 5 papers:

ICST-2013-CraciunML #modelling #testing #towards
Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
CAV-2011-ChinGVLCQ #calculus #verification
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
ESOP-2009-CraciunCHQ #parametricity
An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
OOPSLA-2006-ChinCKP #approach #parametricity
A flow-based approach for variant parametric types (WNC, FC, SCK, CP), pp. 273–290.
PLDI-2004-ChinCQR #object-oriented
Region inference for an object-oriented language (WNC, FC, SQ, MCR), pp. 243–254.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.