出版物リスト（日本語のみ）

著書・翻訳書

• 「プログラミング言語の形式的意味論入門」 末永 幸平(監訳)、勝股 審也、中澤 巧爾、西村 進、前田 敦司 (共訳)
  (G. Winskel "The Formal Semantics of Programming Languages: An Introduction" の邦訳)
  丸善出版, 2023年, ISBN 978-4-621-30763-2 [丸善| Amazon]
  • 「プログラミング言語の形式的意味論入門」サポートサイト

• 「コンピュータサイエンス入門 アルゴリズムとプログラミング言語」 大堀 淳、ジャック ガリグ、西村 進（共著）
  岩波書店, 1999年, ISBN 4000050060 [Amazon]

学術雑誌

• 中野圭介，西村 進
  イベント駆動型文書変換器の自動生成 (bib)
  コンピュータソフトウェア, 19(4):45-51, 2002.
• 西村 進
  制約によるパラメータ多相型推論 (bib)
  コンピュータソフトウェア, 18(2):20-39, 2001.
• 西村 進
  PDIアルゴリズム : プログラム差分合成のためのアルゴリズム (bib)
  コンピュータソフトウェア, 12(5):85-99, 1995.

プレプリント等

• 西村 進
  Boolean Gröbner基底を用いた並行分散プログラムの整合性検査
  RIMS講究録 No.2320, Computer Algebra -- Foundations and Applications, 2024.