BARTHE Gilles について
IMDEA Software Inst. について
CRESPO Juan Manuel について
IMDEA Software Inst. について
GULWANI Sumit について
Microsoft Res. について
KUNZ Cesar について
IMDEA Software Inst. について
KUNZ Cesar について
Technical Univ. Madrid について
MARRON Mark について
IMDEA Software Inst. について
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について
自動プログラミング について
プログラム検証 について
並列化 について
ベクトルプロセッサ について
SIMD について
帰納推論 について
演繹 について
コンパイラ について
ループ構造 について
最適化手法 について
費用関数 について
スループット について
プログラム実行 について
プログラム合成 について
ベクトル化 について
計算機システム開発 について
検証 について
SIMD について
ループ について