JavaScript Debug Toolkit

コメント追加

投稿者 kw : 2009年8月19日 13:26:00 JST #

皇族、小田部雄次 著、中公新書

読了。

コメント追加

投稿者 kw : 2009年8月14日 12:29:00 JST #

数学最前線をになう挑戦者たち、Michael J. Bradley 著、松浦俊輔 訳、青土社

読了。

コメント追加

投稿者 kw : 2009年8月13日 20:15:00 JST #

JavaScript プログラムを抽象実行によって解析する手法の提案。フローグラフの各ノードの取り得る状態と、ある状態から次の状態への関数を定義し、全体が変化しなくなるまでぐるぐる回す。

author="Simon Holm Jensen and Anders Møller and Peter Thiemann",
title="{Type Analysis for JavaScript}",
booktitle="SAS'09",
publisher="Springer",
volume="5673",
series="LNCS",
pages="238--255",
year="2009"

TAJS: Type Analyzer for JavaScript

コメント追加

投稿者 kw : 2009年8月13日 12:13:00 JST #

数学を現代化した予言者たち、Michael J. Bradley 著、松浦俊輔 訳、青土社

読了。

コメント追加

投稿者 kw : 2009年8月11日 20:09:00 JST #

数学を拡げた先駆者たち、Michael J. Bradley 著、松浦俊輔 訳、青土社

読了。

コメント追加

投稿者 kw : 2009年8月10日 12:36:00 JST #

Java プログラムを対象にフィールドが不変か決定する手法の提案。オープンなプログラムが対象。クラス変数とフィールド変数を分けて考える。アルゴリズムも与えられていてやり方は自然だと思うけど、自然言語でいろいろ書いてあって読むのが面倒。

author="Sara Porat and Marina Biberstein and Larry Koved and Bilha Mendelson",
title="{Automatic Detection of Immutable Fields in Java}",
booktitle="CASCON '00",
publisher="IBM Press",
year="2000"

http://portal.acm.org/citation.cfm?id=782044

コメント追加

投稿者 kw : 2009年8月10日 12:20:00 JST #