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 × Brazil
1 × Germany
1 × Norway
Collaborated with:
H.Rebêlo R.M.F.Lima S.Soares P.Borba A.Sampaio L.Ferreira
Talks about:
aspect (2) implement (1) contract (1) program (1) languag (1) algebra (1) orient (1) object (1) compil (1) refin (1)

Person: Márcio Cornélio

DBLP DBLP: Corn=eacute=lio:M=aacute=rcio

Contributed to:

ICST 20082008
SAC 20082008
ECOOP 20032003

Wrote 3 papers:

ICST-2008-RebeloLCS #aspectj #compilation #ml
A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling
Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
ECOOP-2003-BorbaSC #algebra #object-oriented #programming #refinement
A Refinement Algebra for Object-Oriented Programming (PB, AS, MC), pp. 457–482.

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.