05/12/12 11:27:16
>>652
* language support for security and safety
セキュリティと安全性をサポートする言語
(例えばPerlのテイントとかJavaのベリファイアとか。
最近は実行時に検査する内容を減らすために静的な検査も多いので型理論と関連が深い。)
* dynamic compilation and optimization techniques
動的な(実行時)コンパイルと動的な(実行時)最適化
(JavaのJITコンパイルとか。言語じゃないけど昔WindowsがBitBltナントカというAPIで
画像のビット演算処理を実行時にコンパイルっぽいことして最適化してたような記憶も。)
* languages and compilers for parallel computing
並列計算用の言語とコンパイラ
(並列処理の関して通信とか同期とかメモリ共有とか負荷分散とかで
抽象化と効率の、あるいは自動化と手作業でのカスタマイズのせめぎ合いから
丁度いい点を見出す研究。)
* storage management techniques
メモリ管理技術
(たとえばGCとか、もっと進んでヒープを使わないプログラミングの可能性とか。
研究者人口は多くない気がするけどディープなマニア多し(個人的偏見)。)
* design and processing of domain-specific languages
ドメイン固有言語(特定分野向け言語)の設計と処理
(例えばMathematicaやMATLABみたいなのとか。ハードウェア記述言語(VHDLとか)とか。
論文ではAT&Tが交換機の構成記述言語なんてのを提案してるのを見たことがありますな。
Flashのスクリプト言語とかあるいはSQLとかもそうかもね。
このテの言語は必ずしもプログラミング言語屋が作らないので時々風変わりな実装がある。
つーか今私がWindowsに移植してる言語がそうだというのは個人的なグチ。)