「印刷必要論文/プログラミング関連」の編集履歴（バックアップ）一覧はこちら

「印刷必要論文/プログラミング関連」(2010/08/23 (月) 20:11:29) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

#contents

-[[Language Virtualization for Heterogeneous Parallel Computing>http://infoscience.epfl.ch/record/148814]], TR 2010

-[[Modules as Objects in Newspeak>http://bracha.org/Site/Papers.html]], ECOOP 2010

-[[JCoBox: Generalizing Active Objects to Concurrent Components>http://softech.informatik.uni-kl.de/Homepage/PublikationsDetail?id=137]], ECOOP 2010

-[[Predicated Generic Functions: Enabling Context-Dependent Method Dispatch >http://www.vub.ac.be/infovoor/onderzoekers/research/team_pub.php?team_code=PROG]], SC 2010

-[[Views: Object-Inspired Concurrency Control>http://demsky.eecs.uci.edu/publications.html]], ICSE 2010

-[[Design Pattern Implementation in Object Teams>http://ctp.di.fct.unl.pt/~mpm/]], SAC 2010

-[[Capabilities for Uniqueness and Borrowing>http://infoscience.epfl.ch/record/148219]], ECOOP 2010

-[[An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], ICSE 2010

-[[The Design of a Task Parallel Library>http://research.microsoft.com/apps/pubs/default.aspx?id=77368]], OOPSLA 2009

-[[Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse>http://www.cs.cmu.edu/~donna/pubs.html]], PhD thesis 2009

-[[CZ: Multiple Inheritance Without Diamonds>http://www.cs.cmu.edu/~donna/pubs.html]], OOPSLA 2009

-[[Bidirectional Programming Languages>http://www.cs.princeton.edu/~jnfoster/papers/]], PhD thesis, 2009

-[[Deprecating the Observer Pattern>http://infoscience.epfl.ch/record/148043]], TR 2010

-[[Language Boxes. Bending the Host Language with Modular Language Changes>http://marcusdenker.de/Publications.html]], SLE 2009

-[[Using Twinning to Adapt Programs to Alternative APIs>http://wasp.cs.washington.edu/wasp_pubs.html]], ICSE 2010

-[[Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction>http://www.ime.usp.br/~kon/publications.html]], TPLoP

-[[Reusable Enterprise Metadata with Pattern-Based Structural Expressions>http://people.cs.vt.edu/~tilevich/publications.htm]], AOSD 2010

-[[Mining API Mapping for Language Migration>http://people.engr.ncsu.edu/txie/publications.htm]], ICSE 2010

-[[Translucid Contracts for Aspect-oriented Interfaces>http://www.cs.iastate.edu/~design/papers/FOAL-10/]], FOAL 2010

-[[JavaCOP: Declarative Pluggable Types for Java>http://www.cs.ucla.edu/~todd/research/toplas10.html]]

-[[Weaving Generic Programming and Traversal Performance>http://www.ccs.neu.edu/home/chadwick/demeterf/papers/]], AOSD 2010


-[[The Mythical Matched Modules: Overcoming the Tyranny of Inflexible Software Construction>http://www.cl.cam.ac.uk/~srk31/]], Onward! 2009

-[[Optimizing Non-functional Properties of Software Product Lines by means of Refactorings>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], VaMoS 2010

-[[Lessons in Software Evolution Learned by Listening to Smalltalk>http://scg.unibe.ch/scgbib?query=Nier10a&display=abstract]], SOFSEM, 2010


-[[Composing Feature Models>http://proton.essi.fr/biblio/displayReference.php?export=htmlPerso&&nom=Acher&&prenom=Mathieu]], SLE 2009

-[[Modeling the Variability of Architectural Patterns>http://www.cs.rug.nl/~paris/pubs.htm]], SAC 2010

-[[ModelTalk: When Everything Is a Domain-Specific Language>http://openu.ac.il/home/lorenz/papers/modeltalk/index.html]], IEEE Software 2009

-[[Classification of model refactoring approache >http://www.jot.fm/issues/issue_2009_09/article3/index.html]], JOT 2009


-[[Programming language abstractions for mobile code>http://library.epfl.ch/theses/?nr=4515]], Ph.D. Thesis 2009

-[[Harmony-Oriented Programming and Software Evolution>http://sebastian.idv.hk/research/publications/harmony-oriented-programming-and-software-evolution/]], OOPSLA 2009

-[[A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring>http://w3.umh.ac.be/~infofs/preprints/index.php?page=paper_info&ID=230]], 2009

-[[Transactors: Unifying Transactions and Actors>http://infoscience.epfl.ch/record/139381]], TR 2009

-[[An Approach for the Systematic Development of Domain-Specific Languages>http://www.infosys.tuwien.ac.at/Staff/zdun/publications/index.html]], SP&E 2009

-[[ Context-oriented Software Transactional Memory in Common Lisp>http://p-cos.net/research.html]], DLS 2009

-[[Improving API Usage through Detection of Redundant Code>http://www.cs.mcgill.ca/~martin/papers.html]], ASE 2009


-[[Panini: A Language with Asynchronous, Typed Events >http://www.cs.iastate.edu/~design/papers/TR-09-28/]], TR 2009

-[[What Makes APIs Hard to Learn? Answers from Developers>http://www.cs.mcgill.ca/~martin/papers.html]], IEEE SOftware 2009


-[[Design Guidelines for Domain Specific Languages>http://www.dsmforum.org/events/DSM09/]], DSM 2009

-[[Combining Static and Dynamic Feature Binding in Software Product Lines>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], TR 2009

-[[Programming Wireless Sensor Networks: Fundamental Concepts and State-of-the-Art>http://dit.unitn.it/~picco/listpub.html]],

-[[Language Factories>http://itcentre.tvu.ac.uk/~clark/Publications.html]], Onward! 2009

-[[Design Pattern Density Defined>http://dirkriehle.com/publications/]], Onward! 2009

-[[Regrowing a Language: Refactoring Tools Allow Programming Languages to Evolve>http://jeff.over.bz/?02_Research/02_Papers]], Onward! 2009

-[[Provenance: A Future History>http://www.cs.princeton.edu/~jnfoster/papers/]], Onward! 2009



-[[Study of an API migration for two XML APIs>http://www.uni-koblenz.de/~laemmel/xomjdom/]], SLE 2009

-[[Directing JavaScript with Arrows>http://www.cs.umd.edu/~mwh/papers/khoo09arrowlets.html]], DSL 2009

-[[The Ruby Intermediate Language>http://www.cs.umd.edu/~mwh/papers/furr09ril.html]], DLS 2009

-[[PIL: A Platform Independent Language for Retargetable DSLs>PIL: A Platform Independent Language for Retargetable DSLs]], TR 2009, SLE 2009

-[[ An Ontology-Based Metalanguage with Explicit Instantiation>http://wwwhome.cs.utwente.nl/~laarman/]], Master's thesis, 2009

-[[VML* -- A Family of Languages for Variability Management in Software Product Lines>http://www.steffen-zschaler.de/index.php?node=publications&order=type]], SLE 2009


-[[Domain-Specific Metamodelling Languages for Software Language Engineering>http://www.steffen-zschaler.de/index.php?node=publications&order=type]], SLE 2009

-[[A Role-based Approach Towards Modular Language Engineering>http://www.steffen-zschaler.de/index.php?node=publications&order=type]], SLE 2009


-[[Practical, Pluggable Types for a Dynamic Language>http://marcusdenker.de/Publications.html]], Journal of Computer Languages, Systems and Structures, 2009

-[[Typestate-Oriented Programming>http://www.cs.cmu.edu/~aldrich/]], Onward! 2009

-[[Safe Composition of Non-Monotonic Features>http://www.cs.utexas.edu/users/schwartz/search.cgi]], GPCE 2009

-[[Domain-specific languages in practice: A user study on the success factors>http://homepages.cwi.nl/~arie/papers/index.html]], MODELS 2009

-[[Flapjax: A Programming Language for Ajax Applications>http://www.cs.brown.edu/~sk/Publications/Papers/Published/mgbcgbk-flapjax/]], OOPSLA 2009

-[[Three Approaches to Object Evolution>http://tal.forum2.org/cv]], PPPJ 2009

-[[Minimizing Dependencies within Generic Classes for Faster and Smaller Programs>http://www.research.att.com/~bs/papers.html]], OOPSLA 2009

-[[An Overview of Feature-Oriented Software Development >http://www.jot.fm/issues/issue_2009_07/column5/index.html]], JOT 2009

-[[JavaGI in the Battlefield: Practical Experience with Generalized Interfaces>http://www.informatik.uni-freiburg.de/~wehr/publications/WehrThiemann2009.html]], GPCE 2009

-[[An Exploratory Study of CaesarJ Based on Implementations of the Gang-of-Four patterns>http://ctp.di.fct.unl.pt/~mpm/]], TR 2008

-[[Intenational workshop on Context-oriented Programming 2009>http://prog.vub.ac.be/cop09/index.html]]


-[[Safe Functional Reactive Programming through Dependent Types>http://www.cs.nott.ac.uk/~nas/]], ICFP 2009

-[[Push-pull functional reactive programming>http://conal.net/papers/push-pull-frp/]], Haskell Symposium 2009

-[[Type-Safe Observable Sharing in Haskell>http://www.ittc.ku.edu/~andygill/paper.php?label=DSLExtract09]], Haskell Symposium 2009

-[[Parallel Concurrent ML>http://people.cs.uchicago.edu/~jhr/papers/all.html]], ICFP 2009

-[[Types and Modularity for Implicit Invocation with Implicit Announcement>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], TOSEM 2009

-[[Fine-Grained Access Control with Object-Sensitive Roles>http://www.cs.ucla.edu/~todd/research/ecoop09.html]], ECOOP 2009

-[[Compiling Structural Types on the JVM>http://infoscience.epfl.ch/record/138931]], Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2009

-[[Hygiene for the Unhygienic: Hygiene-Compatible Macros in an Unhygienic Macro System>http://p-cos.net/research.html]], 2nd European Lisp Symposium 2009


-[[Monadic Memoization Mixins>http://www.cs.utexas.edu/users/wcook/]], SBLP 2009

-[[Computer Code as a Medium for Human Communication: Are Programming Languages Improving?>http://infoscience.epfl.ch/record/138586]], PPIG 2009

-[[Type-Safe Feature-Oriented Product Lines>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], TR 2009


-[[Controlled Evolution of Adaptive Programs>http://www.ccs.neu.edu/research/demeter/biblio/contr-evol-ap.html]], TR 2009

-[[A Generative Approach to Traversal-based Generic Programming>http://www.ccs.neu.edu/research/demeter/biblio/trav-based-gp.html]], TR 2009

**印刷済み
-[[Refactoring Feature Modules>http://www.cs.utexas.edu/users/schwartz/search.cgi]], ICSR 2009

*AOP

-[[Method Proxy-Based AOP in Scala>http://www.jot.fm/issues/issue_2009_11/article5/index.html]], JOT 2009


-[[User-Defined Join Point Selectors An Extension Mechanism for Pointcut Languages>http://www.jot.fm/issues/issue_2008_12/article1/index.html]], JOT 2008

-[[Gradual Encapsulation>http://www.jot.fm/issues/issue_2008_12/article3/index.html]], JOT 2008

-[[Dynamic Aspects — An AOP Implementation for Squeak>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Strau08a&abstract=yes]], Masters thesis, 2008

-[[Automating Deployment Planning with an Aspect Weaver>http://www.cs.wustl.edu/~schmidt/resume.html]], 2009

-[[Functional Adaptive Programming>http://www.ccs.neu.edu/research/demeter/biblio/fap.html]], 2008

-[[Constraint-based Model Weaving>http://www.cs.wustl.edu/~schmidt/resume.html]]

-[[Dependent advice: A general approach to optimizing history-based aspects>http://abc.comlab.ox.ac.uk/techreports#abc-2008-2]]

-[[On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study]]

-[[Model driven design and aspect weaving>http://www.irisa.fr/triskell/publications/bib/2008]]

-[[Resource-based Verification for Robust Composition of Aspects>http://eprints.eemcs.utwente.nl/12881/]],PhD thesis

-[[Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework>http://eprints.eemcs.utwente.nl/12177/]], ECOOP 2008

-Marius Marin, [[ An Integrated System to Manage Crosscutting Concerns in Source Code>http://swerl.tudelft.nl/bin/view/Main/ScientificPublications]], PhD Thesis, 2008

-[[How AspectJ is Used: An Analysis of Eleven AspectJ Programs>http://www.cs.utexas.edu/users/schwartz/search.cgi]]

-[[User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits>http://decomp.ulb.ac.be/roelwuyts/publications/]], OOPSLA07

-[[Relational Aspects as Tracematches>http://abc.comlab.ox.ac.uk/papers#aosd2008]]

-[[Modularity First: A Case for Mixing AOP and Attribute Grammars>http://abc.comlab.ox.ac.uk/papers#aosd2008]]

-[[StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings>http://www.emn.fr/x-info/sudholt/publ.html]]

-[[Dynamically Linked Domain-Specific Extensions for Advice Languages>http://dsal.dcc.uchile.cl/2008/papers_program.html]]]

-[[Reasoning about aspects with common sense>http://www.daimi.au.dk/~ko/pubs.html]], AOSD 2008

-[[A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context>http://eprints.eemcs.utwente.nl/11853/]]

-[[Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern>http://eprints.eemcs.utwente.nl/12012/]]

-[[Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models>http://archives.cs.iastate.edu/documents/disk0/00/00/05/65/index.html]]

-[[Contracts for Aspect-Oriented Design>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Balancing Language Concerns: Who Decides?>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Groovy AOP: A Dynamic AOP System for a JVM-based Language>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[On-Demand Materialization of Aspects for Application Development>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Composability of Aspects>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Implementing Design Patterns in CaesarJ: an Exploratory Study>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs >http://www.eecs.ucf.edu/FOAL/agenda-2008.shtml]], FOAL 2008

-[[ERedundancy-free Residual Dispatch >http://www.eecs.ucf.edu/FOAL/agenda-2008.shtml]], FOAL 2008

**言語
-[[Dependent Advice: A General Approach to Optimizing History-based Aspects>http://www.sable.mcgill.ca/publications/papers/#aosd2009]], AOSD 2009


*関数型
-[[A Functional I/O System (or Fun for Freshman Kids)  >http://www.ccs.neu.edu/scheme/pubs/]], ICFP 2009

*プログラム構造

-[[Language-Independent Quantification and Weaving for Feature Composition>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], SC 2009

-[[FeatureHouse: Language-Independent, Automated Software Composition>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], ICSE 2009


*言語
-[[Expressive and Modular Predicate Dispatch for Java>http://www.cs.ucla.edu/~todd/research/toplas09.html]], TOPLAS 2009

-[[Growing a Language: The GLoo Perspective>http://www.ict.swin.edu.au/personal/mlumpe/publications.html]], SC 2008

-[[From Java to UpgradeJ: An empirical study>http://research.microsoft.com/~gmb/publications.aspx]], Hotswup 2008 

-[[Multiple Dispatch in Practice>http://homepages.mcs.vuw.ac.nz/~alex/]], OOPSLA 2008

-[[Constrained Types for Object-Oriented Languages>http://grothoff.org/christian/]], OOPSLA 2008

-[[Calling Variadic Functions from a Strongly-typed Language.>http://people.cs.uchicago.edu/~jhr/papers/all.html]]

-[[ML Modules and Haskell Type Classes: A Constructive Comparison>http://www.cse.unsw.edu.au/~chak/papers/WC08.html]], APLAS 2008

-[[Bristlecone: A Language for Robust Software Systems>http://demsky.eecs.uci.edu/]], ECOOP 2008

-[[Implicitly-threaded parallelism in Manticore>http://people.cs.uchicago.edu/~jhr/papers/all.html]], ICFP 2008

-[[Variable-Arity Generic Interfaces>http://www.ccs.neu.edu/scheme/pubs/#techreps]], TR 2008

-[[Traits at Work: the design of a new trait-based stream library>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Cass08a&abstract=yes]]

**Scala
-[[Scala for Generic Programmers>http://www.comlab.oxford.ac.uk/people/publications/date/Bruno.Oliveira.html]], WGP 2008

**Erlang
-[[A History of Erlang>http://www.cs.chalmers.se/Cs/Grundutb/Kurser/ppxt/HT2007/general/languages/]]

**Haskell
-[[Making Monads First-class With Template Haskell>http://www.cs.missouri.edu/~harrisonwl/]], Haskell 2008

-[[Harnessing the Multicores: Nested Data Parallelism in Haskell>http://www.cse.unsw.edu.au/~chak/papers/PLKC08.html]], FSTTCS 2008

-[[Type Checking with Open Type Function>http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html]], ICFP 2008

-[[The Haskell Programmer’s Guide to the IO Monad>http://stefan-klinger.de/files/monadGuide.pdf]] (PDF)

-[[Comparing Libraries for Generic Programming in Haskell>http://www.cs.uu.nl/research/techreps/UU-CS-2008-010.html]]

**ML
-[[http://wasp.cs.washington.edu/wasp_pubs.html>http://wasp.cs.washington.edu/wasp_pubs.html]], ICFP 2008

**Orc

-[[The Orc Programming Language>http://www.cs.utexas.edu/users/wcook/]], IFIP international conference on Formal Techniques for Distributed Systems 2009

**Haskell 
-[[Push-pull functional reactive programming>http://conal.net/papers/push-pull-frp/]], Haskell Symposium 2009

**C++
-[[What is C++0x>http://www2.research.att.com/~bs/papers.html]], 2009


**DSL

-[[Using the Meta-Environment for Domain Specific Language Engineering>http://homepages.cwi.nl/~storm/index.html]], TR 2008

-[[When And How To Develop Domain-Specific Languages >http://ftp.cwi.nl/CWIreports/SEN/SEN-E0517.pdf]] (PDF), 2005

-[[Compiling Embedded Languages>http://conal.net/papers/jfp-saig/]], 2003

-[[DSL Implementation in MetaOCaml, Template Haskell, and C++. >http://www.cs.rice.edu/~taha/publications.html]], 2004

#contents

-[[Type Classes as Objects and Implicits>http://ropas.snu.ac.kr/~bruno/]], SPLASH 2010

-[[Language Virtualization for Heterogeneous Parallel Computing>http://infoscience.epfl.ch/record/148814]], TR 2010

-[[Modules as Objects in Newspeak>http://bracha.org/Site/Papers.html]], ECOOP 2010

-[[JCoBox: Generalizing Active Objects to Concurrent Components>http://softech.informatik.uni-kl.de/Homepage/PublikationsDetail?id=137]], ECOOP 2010

-[[Predicated Generic Functions: Enabling Context-Dependent Method Dispatch >http://www.vub.ac.be/infovoor/onderzoekers/research/team_pub.php?team_code=PROG]], SC 2010

-[[Views: Object-Inspired Concurrency Control>http://demsky.eecs.uci.edu/publications.html]], ICSE 2010

-[[Design Pattern Implementation in Object Teams>http://ctp.di.fct.unl.pt/~mpm/]], SAC 2010

-[[Capabilities for Uniqueness and Borrowing>http://infoscience.epfl.ch/record/148219]], ECOOP 2010

-[[An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], ICSE 2010

-[[The Design of a Task Parallel Library>http://research.microsoft.com/apps/pubs/default.aspx?id=77368]], OOPSLA 2009

-[[Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse>http://www.cs.cmu.edu/~donna/pubs.html]], PhD thesis 2009

-[[CZ: Multiple Inheritance Without Diamonds>http://www.cs.cmu.edu/~donna/pubs.html]], OOPSLA 2009

-[[Bidirectional Programming Languages>http://www.cs.princeton.edu/~jnfoster/papers/]], PhD thesis, 2009

-[[Deprecating the Observer Pattern>http://infoscience.epfl.ch/record/148043]], TR 2010

-[[Language Boxes. Bending the Host Language with Modular Language Changes>http://marcusdenker.de/Publications.html]], SLE 2009

-[[Using Twinning to Adapt Programs to Alternative APIs>http://wasp.cs.washington.edu/wasp_pubs.html]], ICSE 2010

-[[Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction>http://www.ime.usp.br/~kon/publications.html]], TPLoP

-[[Reusable Enterprise Metadata with Pattern-Based Structural Expressions>http://people.cs.vt.edu/~tilevich/publications.htm]], AOSD 2010

-[[Mining API Mapping for Language Migration>http://people.engr.ncsu.edu/txie/publications.htm]], ICSE 2010

-[[Translucid Contracts for Aspect-oriented Interfaces>http://www.cs.iastate.edu/~design/papers/FOAL-10/]], FOAL 2010

-[[JavaCOP: Declarative Pluggable Types for Java>http://www.cs.ucla.edu/~todd/research/toplas10.html]]

-[[Weaving Generic Programming and Traversal Performance>http://www.ccs.neu.edu/home/chadwick/demeterf/papers/]], AOSD 2010


-[[The Mythical Matched Modules: Overcoming the Tyranny of Inflexible Software Construction>http://www.cl.cam.ac.uk/~srk31/]], Onward! 2009

-[[Optimizing Non-functional Properties of Software Product Lines by means of Refactorings>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], VaMoS 2010

-[[Lessons in Software Evolution Learned by Listening to Smalltalk>http://scg.unibe.ch/scgbib?query=Nier10a&display=abstract]], SOFSEM, 2010


-[[Composing Feature Models>http://proton.essi.fr/biblio/displayReference.php?export=htmlPerso&&nom=Acher&&prenom=Mathieu]], SLE 2009

-[[Modeling the Variability of Architectural Patterns>http://www.cs.rug.nl/~paris/pubs.htm]], SAC 2010

-[[ModelTalk: When Everything Is a Domain-Specific Language>http://openu.ac.il/home/lorenz/papers/modeltalk/index.html]], IEEE Software 2009

-[[Classification of model refactoring approache >http://www.jot.fm/issues/issue_2009_09/article3/index.html]], JOT 2009


-[[Programming language abstractions for mobile code>http://library.epfl.ch/theses/?nr=4515]], Ph.D. Thesis 2009

-[[Harmony-Oriented Programming and Software Evolution>http://sebastian.idv.hk/research/publications/harmony-oriented-programming-and-software-evolution/]], OOPSLA 2009

-[[A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring>http://w3.umh.ac.be/~infofs/preprints/index.php?page=paper_info&ID=230]], 2009

-[[Transactors: Unifying Transactions and Actors>http://infoscience.epfl.ch/record/139381]], TR 2009

-[[An Approach for the Systematic Development of Domain-Specific Languages>http://www.infosys.tuwien.ac.at/Staff/zdun/publications/index.html]], SP&E 2009

-[[ Context-oriented Software Transactional Memory in Common Lisp>http://p-cos.net/research.html]], DLS 2009

-[[Improving API Usage through Detection of Redundant Code>http://www.cs.mcgill.ca/~martin/papers.html]], ASE 2009


-[[Panini: A Language with Asynchronous, Typed Events >http://www.cs.iastate.edu/~design/papers/TR-09-28/]], TR 2009

-[[What Makes APIs Hard to Learn? Answers from Developers>http://www.cs.mcgill.ca/~martin/papers.html]], IEEE SOftware 2009


-[[Design Guidelines for Domain Specific Languages>http://www.dsmforum.org/events/DSM09/]], DSM 2009

-[[Combining Static and Dynamic Feature Binding in Software Product Lines>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], TR 2009

-[[Programming Wireless Sensor Networks: Fundamental Concepts and State-of-the-Art>http://dit.unitn.it/~picco/listpub.html]],

-[[Language Factories>http://itcentre.tvu.ac.uk/~clark/Publications.html]], Onward! 2009

-[[Design Pattern Density Defined>http://dirkriehle.com/publications/]], Onward! 2009

-[[Regrowing a Language: Refactoring Tools Allow Programming Languages to Evolve>http://jeff.over.bz/?02_Research/02_Papers]], Onward! 2009

-[[Provenance: A Future History>http://www.cs.princeton.edu/~jnfoster/papers/]], Onward! 2009



-[[Study of an API migration for two XML APIs>http://www.uni-koblenz.de/~laemmel/xomjdom/]], SLE 2009

-[[Directing JavaScript with Arrows>http://www.cs.umd.edu/~mwh/papers/khoo09arrowlets.html]], DSL 2009

-[[The Ruby Intermediate Language>http://www.cs.umd.edu/~mwh/papers/furr09ril.html]], DLS 2009

-[[PIL: A Platform Independent Language for Retargetable DSLs>PIL: A Platform Independent Language for Retargetable DSLs]], TR 2009, SLE 2009

-[[ An Ontology-Based Metalanguage with Explicit Instantiation>http://wwwhome.cs.utwente.nl/~laarman/]], Master's thesis, 2009

-[[VML* -- A Family of Languages for Variability Management in Software Product Lines>http://www.steffen-zschaler.de/index.php?node=publications&order=type]], SLE 2009


-[[Domain-Specific Metamodelling Languages for Software Language Engineering>http://www.steffen-zschaler.de/index.php?node=publications&order=type]], SLE 2009

-[[A Role-based Approach Towards Modular Language Engineering>http://www.steffen-zschaler.de/index.php?node=publications&order=type]], SLE 2009


-[[Practical, Pluggable Types for a Dynamic Language>http://marcusdenker.de/Publications.html]], Journal of Computer Languages, Systems and Structures, 2009

-[[Typestate-Oriented Programming>http://www.cs.cmu.edu/~aldrich/]], Onward! 2009

-[[Safe Composition of Non-Monotonic Features>http://www.cs.utexas.edu/users/schwartz/search.cgi]], GPCE 2009

-[[Domain-specific languages in practice: A user study on the success factors>http://homepages.cwi.nl/~arie/papers/index.html]], MODELS 2009

-[[Flapjax: A Programming Language for Ajax Applications>http://www.cs.brown.edu/~sk/Publications/Papers/Published/mgbcgbk-flapjax/]], OOPSLA 2009

-[[Three Approaches to Object Evolution>http://tal.forum2.org/cv]], PPPJ 2009

-[[Minimizing Dependencies within Generic Classes for Faster and Smaller Programs>http://www.research.att.com/~bs/papers.html]], OOPSLA 2009

-[[An Overview of Feature-Oriented Software Development >http://www.jot.fm/issues/issue_2009_07/column5/index.html]], JOT 2009

-[[JavaGI in the Battlefield: Practical Experience with Generalized Interfaces>http://www.informatik.uni-freiburg.de/~wehr/publications/WehrThiemann2009.html]], GPCE 2009

-[[An Exploratory Study of CaesarJ Based on Implementations of the Gang-of-Four patterns>http://ctp.di.fct.unl.pt/~mpm/]], TR 2008

-[[Intenational workshop on Context-oriented Programming 2009>http://prog.vub.ac.be/cop09/index.html]]


-[[Safe Functional Reactive Programming through Dependent Types>http://www.cs.nott.ac.uk/~nas/]], ICFP 2009

-[[Push-pull functional reactive programming>http://conal.net/papers/push-pull-frp/]], Haskell Symposium 2009

-[[Type-Safe Observable Sharing in Haskell>http://www.ittc.ku.edu/~andygill/paper.php?label=DSLExtract09]], Haskell Symposium 2009

-[[Parallel Concurrent ML>http://people.cs.uchicago.edu/~jhr/papers/all.html]], ICFP 2009

-[[Types and Modularity for Implicit Invocation with Implicit Announcement>http://www.infosun.fim.uni-passau.de/cl/staff/apel/all_chronological.php]], TOSEM 2009

-[[Fine-Grained Access Control with Object-Sensitive Roles>http://www.cs.ucla.edu/~todd/research/ecoop09.html]], ECOOP 2009

-[[Compiling Structural Types on the JVM>http://infoscience.epfl.ch/record/138931]], Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems 2009

-[[Hygiene for the Unhygienic: Hygiene-Compatible Macros in an Unhygienic Macro System>http://p-cos.net/research.html]], 2nd European Lisp Symposium 2009


-[[Monadic Memoization Mixins>http://www.cs.utexas.edu/users/wcook/]], SBLP 2009

-[[Computer Code as a Medium for Human Communication: Are Programming Languages Improving?>http://infoscience.epfl.ch/record/138586]], PPIG 2009

-[[Type-Safe Feature-Oriented Product Lines>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], TR 2009


-[[Controlled Evolution of Adaptive Programs>http://www.ccs.neu.edu/research/demeter/biblio/contr-evol-ap.html]], TR 2009

-[[A Generative Approach to Traversal-based Generic Programming>http://www.ccs.neu.edu/research/demeter/biblio/trav-based-gp.html]], TR 2009

**印刷済み
-[[Refactoring Feature Modules>http://www.cs.utexas.edu/users/schwartz/search.cgi]], ICSR 2009

*AOP

-[[Method Proxy-Based AOP in Scala>http://www.jot.fm/issues/issue_2009_11/article5/index.html]], JOT 2009


-[[User-Defined Join Point Selectors An Extension Mechanism for Pointcut Languages>http://www.jot.fm/issues/issue_2008_12/article1/index.html]], JOT 2008

-[[Gradual Encapsulation>http://www.jot.fm/issues/issue_2008_12/article3/index.html]], JOT 2008

-[[Dynamic Aspects — An AOP Implementation for Squeak>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Strau08a&abstract=yes]], Masters thesis, 2008

-[[Automating Deployment Planning with an Aspect Weaver>http://www.cs.wustl.edu/~schmidt/resume.html]], 2009

-[[Functional Adaptive Programming>http://www.ccs.neu.edu/research/demeter/biblio/fap.html]], 2008

-[[Constraint-based Model Weaving>http://www.cs.wustl.edu/~schmidt/resume.html]]

-[[Dependent advice: A general approach to optimizing history-based aspects>http://abc.comlab.ox.ac.uk/techreports#abc-2008-2]]

-[[On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study]]

-[[Model driven design and aspect weaving>http://www.irisa.fr/triskell/publications/bib/2008]]

-[[Resource-based Verification for Robust Composition of Aspects>http://eprints.eemcs.utwente.nl/12881/]],PhD thesis

-[[Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework>http://eprints.eemcs.utwente.nl/12177/]], ECOOP 2008

-Marius Marin, [[ An Integrated System to Manage Crosscutting Concerns in Source Code>http://swerl.tudelft.nl/bin/view/Main/ScientificPublications]], PhD Thesis, 2008

-[[How AspectJ is Used: An Analysis of Eleven AspectJ Programs>http://www.cs.utexas.edu/users/schwartz/search.cgi]]

-[[User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits>http://decomp.ulb.ac.be/roelwuyts/publications/]], OOPSLA07

-[[Relational Aspects as Tracematches>http://abc.comlab.ox.ac.uk/papers#aosd2008]]

-[[Modularity First: A Case for Mixing AOP and Attribute Grammars>http://abc.comlab.ox.ac.uk/papers#aosd2008]]

-[[StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings>http://www.emn.fr/x-info/sudholt/publ.html]]

-[[Dynamically Linked Domain-Specific Extensions for Advice Languages>http://dsal.dcc.uchile.cl/2008/papers_program.html]]]

-[[Reasoning about aspects with common sense>http://www.daimi.au.dk/~ko/pubs.html]], AOSD 2008

-[[A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context>http://eprints.eemcs.utwente.nl/11853/]]

-[[Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern>http://eprints.eemcs.utwente.nl/12012/]]

-[[Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models>http://archives.cs.iastate.edu/documents/disk0/00/00/05/65/index.html]]

-[[Contracts for Aspect-Oriented Design>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Balancing Language Concerns: Who Decides?>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Groovy AOP: A Dynamic AOP System for a JVM-based Language>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[On-Demand Materialization of Aspects for Application Development>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Composability of Aspects>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Implementing Design Patterns in CaesarJ: an Exploratory Study>http://www.aosd.net/workshops/splat/2008/papers.php]], SPLAT 2008

-[[Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs >http://www.eecs.ucf.edu/FOAL/agenda-2008.shtml]], FOAL 2008

-[[ERedundancy-free Residual Dispatch >http://www.eecs.ucf.edu/FOAL/agenda-2008.shtml]], FOAL 2008

**言語
-[[Dependent Advice: A General Approach to Optimizing History-based Aspects>http://www.sable.mcgill.ca/publications/papers/#aosd2009]], AOSD 2009


*関数型
-[[A Functional I/O System (or Fun for Freshman Kids)  >http://www.ccs.neu.edu/scheme/pubs/]], ICFP 2009

*プログラム構造

-[[Language-Independent Quantification and Weaving for Feature Composition>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], SC 2009

-[[FeatureHouse: Language-Independent, Automated Software Composition>http://wwwiti.cs.uni-magdeburg.de/~ckaestne/]], ICSE 2009


*言語
-[[Expressive and Modular Predicate Dispatch for Java>http://www.cs.ucla.edu/~todd/research/toplas09.html]], TOPLAS 2009

-[[Growing a Language: The GLoo Perspective>http://www.ict.swin.edu.au/personal/mlumpe/publications.html]], SC 2008

-[[From Java to UpgradeJ: An empirical study>http://research.microsoft.com/~gmb/publications.aspx]], Hotswup 2008 

-[[Multiple Dispatch in Practice>http://homepages.mcs.vuw.ac.nz/~alex/]], OOPSLA 2008

-[[Constrained Types for Object-Oriented Languages>http://grothoff.org/christian/]], OOPSLA 2008

-[[Calling Variadic Functions from a Strongly-typed Language.>http://people.cs.uchicago.edu/~jhr/papers/all.html]]

-[[ML Modules and Haskell Type Classes: A Constructive Comparison>http://www.cse.unsw.edu.au/~chak/papers/WC08.html]], APLAS 2008

-[[Bristlecone: A Language for Robust Software Systems>http://demsky.eecs.uci.edu/]], ECOOP 2008

-[[Implicitly-threaded parallelism in Manticore>http://people.cs.uchicago.edu/~jhr/papers/all.html]], ICFP 2008

-[[Variable-Arity Generic Interfaces>http://www.ccs.neu.edu/scheme/pubs/#techreps]], TR 2008

-[[Traits at Work: the design of a new trait-based stream library>http://www.iam.unibe.ch/~scg/cgi-bin/scgbib.cgi?query=Cass08a&abstract=yes]]

**Scala
-[[Scala for Generic Programmers>http://www.comlab.oxford.ac.uk/people/publications/date/Bruno.Oliveira.html]], WGP 2008

**Erlang
-[[A History of Erlang>http://www.cs.chalmers.se/Cs/Grundutb/Kurser/ppxt/HT2007/general/languages/]]

**Haskell
-[[Making Monads First-class With Template Haskell>http://www.cs.missouri.edu/~harrisonwl/]], Haskell 2008

-[[Harnessing the Multicores: Nested Data Parallelism in Haskell>http://www.cse.unsw.edu.au/~chak/papers/PLKC08.html]], FSTTCS 2008

-[[Type Checking with Open Type Function>http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html]], ICFP 2008

-[[The Haskell Programmer’s Guide to the IO Monad>http://stefan-klinger.de/files/monadGuide.pdf]] (PDF)

-[[Comparing Libraries for Generic Programming in Haskell>http://www.cs.uu.nl/research/techreps/UU-CS-2008-010.html]]

**ML
-[[http://wasp.cs.washington.edu/wasp_pubs.html>http://wasp.cs.washington.edu/wasp_pubs.html]], ICFP 2008

**Orc

-[[The Orc Programming Language>http://www.cs.utexas.edu/users/wcook/]], IFIP international conference on Formal Techniques for Distributed Systems 2009

**Haskell 
-[[Push-pull functional reactive programming>http://conal.net/papers/push-pull-frp/]], Haskell Symposium 2009

**C++
-[[What is C++0x>http://www2.research.att.com/~bs/papers.html]], 2009


**DSL

-[[Using the Meta-Environment for Domain Specific Language Engineering>http://homepages.cwi.nl/~storm/index.html]], TR 2008

-[[When And How To Develop Domain-Specific Languages >http://ftp.cwi.nl/CWIreports/SEN/SEN-E0517.pdf]] (PDF), 2005

-[[Compiling Embedded Languages>http://conal.net/papers/jfp-saig/]], 2003

-[[DSL Implementation in MetaOCaml, Template Haskell, and C++. >http://www.cs.rice.edu/~taha/publications.html]], 2004