khatchad's aspects [4 articles] Export

Recent papers added to khatchad's library classified by the tag aspects. You can also see everyone's aspects.

	MAO: Ownership and Effects for More Effective Reasoning About Aspects [My Copy] ECOOP 2007 – Object-Oriented Programming (2007), pp. 451-475. by Curtis Clifton, Gary Leavens, James Noble posted to aspects concern domains reasoning by khatchad on 2009-01-01 00:54:18 as
	Reasoning about aspects with common sense [My Copy] In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development (2008), pp. 48-59. by Klaus Ostermann posted to aspects reasoning by khatchad on 2008-12-04 22:57:39 as along with 1 person bfraser
	A theory of aspects as latent topics [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 543-562. by Pierre F. Baldi, Cristina V. Lopes, Erik J. Linstead, Sushil K. Bajracharya posted to aspects reasoning by khatchad on 2008-11-26 00:34:50 as along with 1 person akuhn
	MAVEN: Modular Aspect Verification [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 308-322. by Max Goldman, Shmuel Katz posted to aspects behavior checking enriched model by khatchad on 2008-11-15 21:35:20 as along with 1 person bfraser

Note: You may cite this page as: http://www.citeulike.org/user/khatchad/tag/aspects

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

refactoring	21
aspect-oriented	19
aop	11
analysis	10
programming	10
reasoning	10
static	8
nasko	7
aspect	5
distributed	5
verification	5
aspectj	4
aspects	4
concurrent	4
design	4
oriented	4
points-to	4
specification	4
aosd-europe	3
automated	3
change	3
checking	3
event-based	3
evolution	3
fragile	3
java	3
model	3
object	3
pointcut	3
propagation	3
semantics	3
types	3
behavioral	2
cfl	2
enum	2
fragility	2
impact	2
interactions	2
library	2
patterns	2
programs	2
reachability	2
representations	2
software	2
788	1
abstraction	1
aliases	1
alternative	1
ample	1
behavior	1
calculus	1
categorization	1
composition	1
concern	1
constructs	1
default	1
domains	1
enriched	1
enumerated	1
enumeration	1
feature-oriented	1
formalism	1
frameworks	1
guarantee	1
incremental	1
inferencing	1
interfaces	1
interference	1
jahob	1
jml	1
knowledge	1
language	1
logics	1
migration	1
modular	1
neelam	1
problems	1
rely	1
reusable	1
run	1
sensitivity	1
time	1
type	1

khatchad's aspects [4 articles] Export

khatchad's tags