印刷必要論文/プログラミング関連 - asato @Wiki

• Type Classes as Objects and Implicits, SPLASH 2010

• Language Virtualization for Heterogeneous Parallel Computing, TR 2010

• Modules as Objects in Newspeak, ECOOP 2010

• JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP 2010

• Predicated Generic Functions: Enabling Context-Dependent Method Dispatch , SC 2010

• Views: Object-Inspired Concurrency Control, ICSE 2010

• Design Pattern Implementation in Object Teams, SAC 2010

• Capabilities for Uniqueness and Borrowing, ECOOP 2010

• An Analysis of the Variability in Forty Preprocessor-Based Software Product Lines, ICSE 2010

• The Design of a Task Parallel Library, OOPSLA 2009

• Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse, PhD thesis 2009

• CZ: Multiple Inheritance Without Diamonds, OOPSLA 2009

• Bidirectional Programming Languages, PhD thesis, 2009

• Deprecating the Observer Pattern, TR 2010

• Language Boxes. Bending the Host Language with Modular Language Changes, SLE 2009

• Using Twinning to Adapt Programs to Alternative APIs, ICSE 2010

• Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction, TPLoP

• Reusable Enterprise Metadata with Pattern-Based Structural Expressions, AOSD 2010

• Mining API Mapping for Language Migration, ICSE 2010

• Translucid Contracts for Aspect-oriented Interfaces, FOAL 2010

• JavaCOP: Declarative Pluggable Types for Java

• Weaving Generic Programming and Traversal Performance, AOSD 2010

• The Mythical Matched Modules: Overcoming the Tyranny of Inflexible Software Construction, Onward! 2009

• Optimizing Non-functional Properties of Software Product Lines by means of Refactorings, VaMoS 2010

• Lessons in Software Evolution Learned by Listening to Smalltalk, SOFSEM, 2010

• Composing Feature Models, SLE 2009

• Modeling the Variability of Architectural Patterns, SAC 2010

• ModelTalk: When Everything Is a Domain-Specific Language, IEEE Software 2009

• Classification of model refactoring approache , JOT 2009

• Programming language abstractions for mobile code, Ph.D. Thesis 2009

• Harmony-Oriented Programming and Software Evolution, OOPSLA 2009

• A Case Study to Evaluate the Suitability of Graph Transformation Tools for Program Refactoring, 2009

• Transactors: Unifying Transactions and Actors, TR 2009

• An Approach for the Systematic Development of Domain-Specific Languages, SP&E 2009

• Context-oriented Software Transactional Memory in Common Lisp, DLS 2009

• Improving API Usage through Detection of Redundant Code, ASE 2009

• Panini: A Language with Asynchronous, Typed Events , TR 2009

• What Makes APIs Hard to Learn? Answers from Developers, IEEE SOftware 2009

• Design Guidelines for Domain Specific Languages, DSM 2009

• Combining Static and Dynamic Feature Binding in Software Product Lines, TR 2009

• Programming Wireless Sensor Networks: Fundamental Concepts and State-of-the-Art,

• Language Factories, Onward! 2009

• Design Pattern Density Defined, Onward! 2009

• Regrowing a Language: Refactoring Tools Allow Programming Languages to Evolve, Onward! 2009

• Provenance: A Future History, Onward! 2009

• Study of an API migration for two XML APIs, SLE 2009

• Directing JavaScript with Arrows, DSL 2009

• The Ruby Intermediate Language, DLS 2009

• PIL: A Platform Independent Language for Retargetable DSLs?, TR 2009, SLE 2009

• An Ontology-Based Metalanguage with Explicit Instantiation, Master's thesis, 2009

• VML* -- A Family of Languages for Variability Management in Software Product Lines, SLE 2009

• Domain-Specific Metamodelling Languages for Software Language Engineering, SLE 2009

• A Role-based Approach Towards Modular Language Engineering, SLE 2009

• Practical, Pluggable Types for a Dynamic Language, Journal of Computer Languages, Systems and Structures, 2009

• Typestate-Oriented Programming, Onward! 2009

• Safe Composition of Non-Monotonic Features, GPCE 2009

• Domain-specific languages in practice: A user study on the success factors, MODELS 2009

• Flapjax: A Programming Language for Ajax Applications, OOPSLA 2009

• Three Approaches to Object Evolution, PPPJ 2009

• Minimizing Dependencies within Generic Classes for Faster and Smaller Programs, OOPSLA 2009

• An Overview of Feature-Oriented Software Development , JOT 2009

• JavaGI in the Battlefield: Practical Experience with Generalized Interfaces, GPCE 2009

• An Exploratory Study of CaesarJ Based on Implementations of the Gang-of-Four patterns, TR 2008

• Intenational workshop on Context-oriented Programming 2009

• Safe Functional Reactive Programming through Dependent Types, ICFP 2009

• Push-pull functional reactive programming, Haskell Symposium 2009

• Type-Safe Observable Sharing in Haskell, Haskell Symposium 2009

• Parallel Concurrent ML, ICFP 2009

• Types and Modularity for Implicit Invocation with Implicit Announcement, TOSEM 2009

• Fine-Grained Access Control with Object-Sensitive Roles, ECOOP 2009

• Compiling Structural Types on the JVM, 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, 2nd European Lisp Symposium 2009

• Monadic Memoization Mixins, SBLP 2009

• Computer Code as a Medium for Human Communication: Are Programming Languages Improving?, PPIG 2009

• Type-Safe Feature-Oriented Product Lines, TR 2009

• Controlled Evolution of Adaptive Programs, TR 2009

• A Generative Approach to Traversal-based Generic Programming, TR 2009

印刷済み

• Refactoring Feature Modules, ICSR 2009

AOP

• Method Proxy-Based AOP in Scala, JOT 2009

• User-Defined Join Point Selectors An Extension Mechanism for Pointcut Languages, JOT 2008

• Gradual Encapsulation, JOT 2008

• Dynamic Aspects — An AOP Implementation for Squeak, Masters thesis, 2008

• Automating Deployment Planning with an Aspect Weaver, 2009

• Functional Adaptive Programming, 2008

• Constraint-based Model Weaving

• Dependent advice: A general approach to optimizing history-based aspects

• On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study?

• Model driven design and aspect weaving

• Resource-based Verification for Robust Composition of Aspects,PhD thesis

• Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework, ECOOP 2008

• Marius Marin, An Integrated System to Manage Crosscutting Concerns in Source Code, PhD Thesis, 2008

• How AspectJ is Used: An Analysis of Eleven AspectJ Programs

• User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits, OOPSLA07

• Relational Aspects as Tracematches

• Modularity First: A Case for Mixing AOP and Attribute Grammars

• StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings

• Dynamically Linked Domain-Specific Extensions for Advice Languages]

• Reasoning about aspects with common sense, AOSD 2008

• A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context

• Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern

• Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models

• Contracts for Aspect-Oriented Design, SPLAT 2008

• Balancing Language Concerns: Who Decides?, SPLAT 2008

• Groovy AOP: A Dynamic AOP System for a JVM-based Language, SPLAT 2008

• On-Demand Materialization of Aspects for Application Development, SPLAT 2008

• Composability of Aspects, SPLAT 2008

• Implementing Design Patterns in CaesarJ: an Exploratory Study, SPLAT 2008

• Enforcing Behavioral Constraints in Evolving Aspect-Oriented Programs , FOAL 2008

• ERedundancy-free Residual Dispatch , FOAL 2008

言語

• Dependent Advice: A General Approach to Optimizing History-based Aspects, AOSD 2009

関数型

• A Functional I/O System (or Fun for Freshman Kids) , ICFP 2009

プログラム構造

• Language-Independent Quantification and Weaving for Feature Composition, SC 2009

• FeatureHouse: Language-Independent, Automated Software Composition, ICSE 2009

言語

• Expressive and Modular Predicate Dispatch for Java, TOPLAS 2009

• Growing a Language: The GLoo Perspective, SC 2008

• From Java to UpgradeJ: An empirical study, Hotswup 2008

• Multiple Dispatch in Practice, OOPSLA 2008

• Constrained Types for Object-Oriented Languages, OOPSLA 2008

• Calling Variadic Functions from a Strongly-typed Language.

• ML Modules and Haskell Type Classes: A Constructive Comparison, APLAS 2008

• Bristlecone: A Language for Robust Software Systems, ECOOP 2008

• Implicitly-threaded parallelism in Manticore, ICFP 2008

• Variable-Arity Generic Interfaces, TR 2008

• Traits at Work: the design of a new trait-based stream library

Scala

• Scala for Generic Programmers, WGP 2008

Erlang

• A History of Erlang

Haskell

• Making Monads First-class With Template Haskell, Haskell 2008

• Harnessing the Multicores: Nested Data Parallelism in Haskell, FSTTCS 2008

• Type Checking with Open Type Function, ICFP 2008

• The Haskell Programmer’s Guide to the IO Monad (PDF)

• Comparing Libraries for Generic Programming in Haskell

ML

• http://wasp.cs.washington.edu/wasp_pubs.html, ICFP 2008

Orc

• The Orc Programming Language, IFIP international conference on Formal Techniques for Distributed Systems 2009

Haskell

• Push-pull functional reactive programming, Haskell Symposium 2009

C++

• What is C++0x, 2009

DSL

• Using the Meta-Environment for Domain Specific Language Engineering, TR 2008

• When And How To Develop Domain-Specific Languages (PDF), 2005

• Compiling Embedded Languages, 2003

• DSL Implementation in MetaOCaml, Template Haskell, and C++. , 2004