Henrique Rebêlo
Henrique Rebêlo
Professor of Computer Science, Universidade Federal de Pernambuco
Bestätigte E-Mail-Adresse bei cin.ufpe.br - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Symdiff: A language-agnostic semantic diff tool for imperative programs
SK Lahiri, C Hawblitzel, M Kawaguchi, H Rebêlo
International Conference on Computer Aided Verification, 712-717, 2012
1772012
Towards modularly comparing programs using automated theorem provers
C Hawblitzel, M Kawaguchi, SK Lahiri, H Rebêlo
International Conference on Automated Deduction, 282-299, 2013
532013
Conditional equivalence
M Kawaguchi, SK Lahiri, H Rebelo
Microsoft, MSR-TR-2010-119, Tech. Rep, 2010
432010
Implementing java modeling language contracts with aspectj
H Rebêlo, S Soares, R Lima, L Ferreira, M Cornélio
Proceedings of the 2008 ACM symposium on Applied computing, 228-233, 2008
402008
AspectJML: Modular specification and runtime checking for crosscutting contracts
H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the 13th international conference on Modularity, 157-168, 2014
232014
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings
H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira
XIII Brazilian Symposium on Programming Languages (SBLP’09), 117-130, 2009
222009
Modularizing crosscutting contracts with AspectJML
H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ...
Proceedings of the companion publication of the 13th international …, 2014
132014
Modular aspect-oriented design rule enforcement with XPIDRs
H Rebelo, GT Leavens, RMF Lima, P Borba, M Ribeiro
Proceedings of the 12th workshop on Foundations of aspect-oriented languages …, 2013
132013
Modular contracts with procedures, annotations, pointcuts and advice
H Rebêlo, R Lima, GT Leavens
SBLP’11: Proceedings of the 2011 Brazilian Symposium on Programming Languages, 2011
132011
Mutual summaries: Unifying program comparison techniques
C Hawblitzel, M Kawaguchi, SK Lahiri, H Rebêlo
This page intentionally left (not quite) empty, 40, 2011
122011
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach
H Rebêlo, R Coelho, R Lima, GT Leavens, M Huisman, A Mota, F Castor
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs …, 2011
102011
Assessing idioms for implementing features with flexible binding times
R Andrade, M Ribeiro, V Gasiunas, L Satabin, H Rebêlo, P Borba
2011 15th European Conference on Software Maintenance and Reengineering, 231-240, 2011
102011
A JML compiler based on AspectJ
H Rebêlo, R Lima, M Cornélio, S Soares
2008 1st International Conference on Software Testing, Verification, and …, 2008
102008
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study
H Rebêlo, R Lima, GT Leavens, M Cornélio, A Mota, C Oliveira
Science of Computer Programming 78 (8), 1137-1156, 2013
92013
Quantifying the effects of aspectual decompositions on design by contract modularization: A maintenance study
H Rebêlo, R Lima, U Kulesza, M Ribeiro, Y Cai, R Coelho, C Sant'Anna, ...
International Journal of Software Engineering and Knowledge Engineering 23 …, 2013
82013
Aspectj-based idioms for flexible feature binding
R Andrade, H Rebêlo, M Ribeiro, P Borba
2013 VII Brazilian Symposium on Software Components, Architectures and Reuse …, 2013
82013
Does aspectj provide modularity when implementing features with flexible binding times?
M Ribeiro, R Cardoso, P Borba, R Bonifácio, H Rebêlo
Third Latin American Workshop on Aspect-Oriented Software Development (LA …, 2009
82009
JML and aspects: The benefits of instrumenting JML features with AspectJ
H Rebêlo, S Soares, R Lima, P Borba, M Cornélio
Seventh International Workshop on Specification and Verification of …, 2008
72008
Aspect-oriented programming reloaded
H Rebêlo, GT Leavens
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017
62017
Client-aware checking and information hiding in interface specifications with jml/ajmlc
H Rebêlo, GT Leavens, RM Lima
Proceedings of the 2013 companion publication for conference on Systems …, 2013
62013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20