khatchad's library 96 articles Export

Ordered by to_read.

	Untangling Enterprise Java [My Copy] Queue, Vol. 4, No. 5. (2006), pp. 36-44. by Chris Richardson posted to refactoring by khatchad on 2009-07-20 15:17:09 as
	Concern graphs: finding and describing concerns using structural program dependencies [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 406-416. by Martin P. Robillard, Gail C. Murphy posted to change propagation by khatchad on 2009-07-20 14:35:33 as along with 3 people alexloh80 bfraser Archie
	Points-to analysis in almost linear time [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 32-41. by Bjarne Steensgaard posted to analysis nasko static by khatchad on 2009-06-22 16:58:04 as along with 4 people and 1 group lesandrop mattmight plaugg srccheck Verimag-STmicro
	Undecidability of static analysis [My Copy] ACM Lett. Program. Lang. Syst., Vol. 1, No. 4. (December 1992), pp. 323-337. by William Landi posted to analysis nasko static by khatchad on 2009-06-16 16:30:38 as along with 3 people bunge clconway alphabetagamma
	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
	Concurrent aspects [My Copy] In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 79-88. by Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt posted to aop concurrent by khatchad on 2008-12-28 16:32:48 as
	Ptolemy: A Language with Quantified, Typed Events [My Copy] ECOOP 2008 – Object-Oriented Programming (2008), pp. 155-179. by Hridesh Rajan, Gary Leavens posted to aspect-oriented reasoning by khatchad on 2008-11-19 03:12:07 as along with 1 person ama08r
	Specifying Pointcuts in AspectJ [My Copy] Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, Vol. 2 (2007), pp. 5-10. by Yi Wang, Jianjun Zhao posted to specification by khatchad on 2008-08-14 19:28:21 as
	Types are not sets [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 120-124. by James H. Morris posted to types by khatchad on 2009-11-02 04:13:24 as
	Refactoring support for class library migration [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2005), pp. 265-279. by Ittai Balaban, Frank Tip, Robert Fuhrer posted to refactoring migration library frameworks by khatchad on 2009-08-13 19:59:11 as along with 2 people and 1 group akuhn dannydig Refactoring
	Beyond refactoring: a framework for modular maintenance of crosscutting design idioms [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 175-184. by Macneil Shonle, William G. Griswold, Sorin Lerner posted to refactoring by khatchad on 2009-07-20 15:19:22 as along with 2 people mshonle emerson
	Sound and extensible renaming for java [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 277-294. by Max Schäfer, Torbjörn Ekman, Oege de Moor posted to refactoring by khatchad on 2009-07-15 02:26:35 as
	Refactoring Sequential Java Code for Concurrency via Concurrent Libraries [My Copy] by Danny Dig, John Marrero, Michael D. Ernst posted to refactoring by khatchad on 2009-07-09 19:42:13 as
	A semantics for advice and dynamic join points in aspect-oriented programming [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 890-910. by Mitchell Wand, Gregor Kiczales, Christopher Dutchyn posted to aspect-oriented semantics by khatchad on 2009-03-25 15:51:41 as along with 3 people bfraser steamloom KarlKlose
	Full functional verification of linked data structures [My Copy] In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 349-361. by Karen Zee, Viktor Kuncak, Martin Rinard posted to 788 aliases jahob verification by khatchad on 2009-02-15 20:22:59 as along with 1 person kingjoshdavid
	Composition, reuse and interaction analysis of stateful aspects [My Copy] In AOSD '04: Proceedings of the 3rd international conference on Aspect-oriented software development (2004), pp. 141-150. by Rémi Douence, Pascal Fradet, Mario Südholt posted to aop event-based by khatchad on 2008-12-28 22:55:41 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
	JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ [My Copy] Specification and Verification of Component-Based Systems (November 2008), pp. 11-18. by Henrique Rebêlo, Sergio Soares, Ricardo Lima, Paulo Borba, Márcio Cornélio posted to jml run time verification by khatchad on 2008-11-27 13:17:24 as
	Bridging Java and AspectJ through explicit join points [My Copy] In PPPJ '07: Proceedings of the 5th international symposium on Principles and practice of programming in Java (2007), pp. 63-72. by Kevin Hoffman, Patrick Eugster posted to aspect-oriented aspectj java programming by khatchad on 2008-11-25 02:48:10 as
	Incremental analysis of interference among aspects [My Copy] In FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages (2008), pp. 29-38. by Emilia Katz, Shmuel Katz posted to checking model by khatchad on 2008-11-15 21:39:11 as
	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
	A Machine Model for Aspect-Oriented Programming [My Copy] ECOOP 2007 – Object-Oriented Programming (2007), pp. 501-524. by Michael Haupt, Hans Schippers posted to alternative aspect-oriented representations by khatchad on 2008-11-15 18:33:23 as
	JunGL: a scripting language for refactoring [My Copy] In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 172-181. by Mathieu Verbaere, Ran Ettinger, Oege de Moor posted to refactoring by khatchad on 2009-11-07 19:43:12 as along with 2 people and 1 group dannydig emerson Refactoring
	Formalizing refactorings with graph transformations [My Copy] Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 4. (27 July 2005), pp. 247-276. by Tom Mens, Niels Van Eetvelde, Serge Demeyer, Dirk Janssens posted to refactoring formalism by khatchad on 2009-10-24 02:17:16 as along with 3 people and 1 group dannydig hannes leonardo Refactoring
	Aspect Categories and Classes of Temporal Properties [My Copy] Transactions on Aspect-Oriented Software Development I, Vol. 3880 (February 2006), pp. 106-134. by Shmuel Katz posted to programming categorization aspect-oriented by khatchad on 2009-10-20 01:02:53 as along with 2 people schuh bfraser
	abc : An Extensible AspectJ Compiler [My Copy] Transactions on Aspect-Oriented Software Development I (2006), pp. 293-334. by Pavel Avgustinov, Aske Christensen, Laurie Hendren, et al.Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble posted to aspectj by khatchad on 2009-09-04 02:48:39 as
	The Infer Type Refactoring and its Use for Interface-Based Programming [My Copy] Journal of Object Technology, Vol. 6, No. 2. (February 2007), pp. 99-120. by Friedrich Steimann posted to refactoring by khatchad on 2009-07-28 19:09:57 as
	Impact Analysis of Weaving in Aspect-Oriented Programming [My Copy] Software Maintenance, IEEE International Conference on In ICSM '05: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), Vol. 0 (2005), pp. 657-660. by Hideaki Shinomi, Tetsuo Tamai posted to analysis change impact propagation by khatchad on 2009-07-20 16:10:21 as along with 1 person schuh
	Using coupling measurement for impact analysis in object-oriented systems [My Copy] Software Maintenance, 1999. (ICSM '99) Proceedings. IEEE International Conference on In Software Maintenance, 1999. (ICSM '99) Proceedings. IEEE International Conference on (1999), pp. 475-482. by L. C. Briand, J. Wust, H. Lounis posted to analysis change impact propagation by khatchad on 2009-07-20 16:07:25 as along with 1 person andreff
	A survey of strategies in rule-based program transformation systems [My Copy] Journal of Symbolic Computation, Vol. 40, No. 1. (July 2005), pp. 831-873. by E. Visser posted to refactoring by khatchad on 2009-07-20 15:38:13 as
	A Survey of Strategies in Program Transformation Systems [My Copy] In Electronic Notes in Theoretical Computer Science, Vol. 57 (2001) by Eelco V. Institute, Eelco Visser posted to refactoring by khatchad on 2009-07-20 15:36:26 as
	A Formal Foundation for Object-Oriented Software Evolution [My Copy] Software Maintenance, IEEE International Conference on, Vol. 0 (2001), 549. by Tom Mens posted to refactoring by khatchad on 2009-07-20 15:34:04 as
	Supporting Reliable Software Evolution through Program Analysis [My Copy] In CSMR '07: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (2007), pp. 341-344. by Cathal Boogerd posted to refactoring by khatchad on 2009-07-20 15:33:33 as
	Automated Adaptive Software Maintenance: A Methodology and Its Applications [My Copy] (22 May 2008) by Wesley S. Tansey posted to refactoring by khatchad on 2009-07-20 15:30:12 as
	Automatic Inference of Structural Changes for Matching across Program Versions [My Copy] In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 333-343. by Miryung Kim, David Notkin, Dan Grossman posted to refactoring by khatchad on 2009-07-19 16:24:22 as along with 2 people alexloh80 jespera
	CatchUp!: capturing and replaying refactorings to support API evolution [My Copy] In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 274-283. by Johannes Henkel, Amer Diwan posted to refactoring by khatchad on 2009-07-19 16:21:39 as along with 3 people akuhn alexloh80 emerson
	The role of refactorings in API evolution [My Copy] Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on In Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on (2005), pp. 389-398. by D. Dig, R. Johnson posted to refactoring by khatchad on 2009-07-17 17:05:46 as along with 2 people and 1 group dannydig smogit Refactoring
	The impact of static-dynamic coupling on remodularization [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 261-276. by Rick Chern, Kris De Volder posted to refactoring by khatchad on 2009-07-15 02:29:19 as
	Towards reusable components with aspects: an empirical study on modularity and obliviousness [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 91-100. by Kevin Hoffman, Patrick Eugster posted to aspect-oriented by khatchad on 2009-07-07 20:24:25 as along with 2 people andreff jsj8444
	Program Analysis and Specialization for the C Programming Language [My Copy] (1994) by Lars O. Andersen posted to analysis nasko static by khatchad on 2009-06-22 17:04:22 as
	Composition patterns: an approach to designing reusable aspects [My Copy] In ICSE '01: Proceedings of the 23rd International Conference on Software Engineering (2001), pp. 5-14. by Siobhán Clarke, Robert J. Walker posted to aspect-oriented design neelam by khatchad on 2009-03-29 22:32:52 as along with 1 person alphabetagamma
	Process-Algebraic Foundations of Aspect-Oriented Programming [My Copy] In REFLECTION '01: Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (2001), pp. 187-209. by James H. Andrews posted to aspect-oriented semantics by khatchad on 2009-03-25 17:12:21 as
	A Calculus of Untyped Aspect-Oriented Programs [My Copy] ECOOP 2003 -- Object-Oriented Programming (2003), pp. 54-73. by Radha Jagadeesan, Alan Jeffrey, James Riely posted to aspect-oriented calculus by khatchad on 2009-03-25 13:22:43 as along with 1 person KarlKlose
	A disciplined approach to aspect composition [My Copy] In PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2006), pp. 68-77. by Roberto L. Herrejon, Don Batory, Christian Lengauer posted to aspect composition semantics by khatchad on 2009-03-24 16:23:09 as
	Obstacles in object-oriented software development [My Copy] In OOPSLA '92: conference proceedings on Object-oriented programming systems, languages, and applications (1992), pp. 341-358. by Mehmet Aksit, Lodewijk Bergmans posted to object oriented problems programming by khatchad on 2009-03-02 19:30:41 as
	Edicts: implementing features with flexible binding times [My Copy] In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development (2008), pp. 108-119. by Venkat Chakravarthy, John Regehr, Eric Eide posted to no-tag by khatchad on 2009-03-02 14:24:00 as
	Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java [My Copy] In In Workshop on Program Analysis for Software Tools and Engineering (2001), pp. 73-79. by Donglin Liang, Maikel Pennings, Mary J. Harrold posted to nasko points-to by khatchad on 2009-01-18 16:46:58 as
	Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy [My Copy] by Curtis Clifton, Gary T. Leavens posted to aspect oriented reasoning by khatchad on 2009-01-11 20:53:29 as
	Spark: A flexible points-to analysis framework for Java [My Copy] posted to analysis static by khatchad on 2009-01-03 17:08:31 as
	Fully abstract semantics of additive aspects by translation [My Copy] In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development (2007), pp. 135-148. by S. B. Sanjabi, -H posted to abstraction by khatchad on 2009-01-02 20:57:12 as along with 1 person KarlKlose

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

Result page: 1 2 Next

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 library 96 articles Export

khatchad's tags