読了。

コメント追加

投稿者 kw : 2017/03/24 18:48:00 JST #

読了。

コメント追加

投稿者 kw : 2017/03/17 18:19:00 JST #

Middleweight Javaに対して量的情報流解析を行う型システムを提案。式や文に対して漏洩する情報量の上限と下限を求める。MJの表示的意味論を定義し、健全性（型システムが求める情報量が確かに意味論から得られること）を証明。

SFI16

コメント追加

投稿者 kw : 2017/03/14 19:00:00 JST #

読了。

コメント追加

投稿者 kw : 2017/03/14 18:37:00 JST #

UI flows

A shorthand for designing UI flows

コメント追加

投稿者 kw : 2017/03/13 11:43:00 JST #

API Blueprint

A powerful high-level API description language for web APIs.

コメント追加

投稿者 kw : 2017/03/13 11:42:00 JST #

Shift AST

Represents the structure of an ECMAScript program as a tree.

Shift Tools for Java

This project provides Java tooling around the Shift AST format.

Shift Parser

This module provides an ECMAScript parser that produces a Shift format AST.

コメント追加

投稿者 kw : 2017/03/13 10:53:00 JST #

exdown

esdown is an ES6+ to ES5 compiler, written in ES6.

コメント追加

投稿者 kw : 2017/03/13 10:43:00 JST #

esparse

esparse is a parser for the ECMAScript programming language, written in JavaScript.

コメント追加

投稿者 kw : 2017/03/13 10:42:00 JST #

• 白と黒のとびら
• 川添　　愛 著
• 東京大学出版会

読了。面白かった。オートマトンの授業の参考書に挙げていいと思う。

コメント追加

投稿者 kw : 2017/03/08 18:59:00 JST #

読了。

コメント追加

投稿者 kw : 2017/03/06 19:58:00 JST #