6 0 0 0 OA 属性文法
- 著者
- 佐々 政孝
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.2, no.3, pp.3_560-3_562, 1985-07-15 (Released:2018-11-05)
言及状況
外部データベース (DOI)
Twitter (6 users, 6 posts, 12 favorites)
@spikeolaf 古いですが抑えとして。人類の到達点は英語のサーベイ論文を探さないとないのでみつけたらお知らせしますが恐らくご自身で探された方が早いです 悪しからず
https://t.co/SjEKBARFn7
型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？
と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM https://t.co/PWYPyKeQKh