「メモ/プログラミング言語」の編集履歴（バックアップ）一覧に戻る

メモ/プログラミング言語 - (2010/05/28 (金) 02:25:00) のソース

#contents

*文献

-[[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



-[[Capabilities for Uniqueness and Borrowing>http://infoscience.epfl.ch/record/148219]], ECOOP 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

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

-[[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]]


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


-[[Silver: an Extensible Attribute Grammar System>http://www.umsec.umn.edu/publications]], Science of Computer Programming 2009


-[[Sharing classes between families>http://www.cs.cornell.edu/andru/papers/class-sharing.html]], PLDI 2009


-[[Evolving a language in and for the real world: C++ 1991-2006>http://www.research.att.com/~bs/papers.html]]

-[[Masked types for sound object initialization >http://www.cs.cornell.edu/andru/papers/masked-types.html]], POPL 2009


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

-[[The nature of roles---A taxonomic analysis of roles as a language construct>http://www.itu.dk/~kbilsted/]],  Phd Thesis 2006

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

*blog 記事
-[[PHP使いの反論>http://www.rubyist.net/~matz/20080129.html]]

-[[安全なWebアプリのために言語ができること>http://www.rubyist.net/~matz/20080129.html]]

*スライド資料

-[[Caging the effects monster: the next big challenge>http://research.microsoft.com/~simonpj/]], 2008