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
3 × USA
Collaborated with:
R.M.F.Lima C.Hawblitzel M.Kawaguchi S.K.Lahiri M.Ribeiro M.Cornélio S.Soares A.Mota C.A.L.Oliveira L.Ferreira R.Andrade V.Gasiunas L.Satabin P.Borba U.Kulesza C.Sant'Anna R.Coelho
Talks about:
aspect (4) contract (3) program (3) implement (2) languag (2) assess (2) pointcut (1) theorem (1) symdiff (1) quantit (1)

Person: Henrique Rebêlo

DBLP DBLP: Reb=ecirc=lo:Henrique

Contributed to:

CADE 20132013
CAV 20122012
SEKE 20122012
CSMR 20112011
SEKE 20112011
ICST 20082008
SAC 20082008

Wrote 7 papers:

CADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using
Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.
CAV-2012-LahiriHKR #imperative #named #semantics #source code
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
SEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
CSMR-2011-AndradeRGSRB #flexibility #implementation
Assessing Idioms for Implementing Features with Flexible Binding Times (RA, MR, VG, LS, HR, PB), pp. 231–240.
SEKE-2011-RebeloLKSCMRO #aspect-oriented #contract #design #impact analysis
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study (HR, RMFL, UK, CS, RC, AM, MR, CALO), pp. 450–455.
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.

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.