『An implementation of OBJ2: An object-oriented language for abstract program specification』へのコメント

"object-oriented language for abstract program specification"

lang

yugui のブックマーク 2012/02/18 20:56

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/81471009/comment/yugui" data-user-id="yugui" data-entry-url="https://b.hatena.ne.jp/entry/s/link.springer.com/chapter/10.1007/3-540-17179-7_5" data-original-href="https://link.springer.com/chapter/10.1007/3-540-17179-7_5" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Flink.springer.com%2Fchapter%2F10.1007%2F3-540-17179-7_5" data-user-icon="/users/yugui/profile.png">An implementation of OBJ2: An object-oriented language for abstract program specification</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/lang">lang</a>]</li></ul><br><p style="clear: left">&quot;object-oriented language for abstract program specification&quot;</p><a class="datetime" href="https://b.hatena.ne.jp/yugui/20120218#bookmark-81471009"><span class="datetime-body">2012/02/18 20:56</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

An implementation of OBJ2: An object-oriented language for abstract program specification

link.springer.com2012/02/18

This paper describes an implementation of a functional and object-oriented programming language called OBJ2. It is a programming language manifestation of a new programming paradigm called parametr...

2 人がブックマーク・1 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

An implementation of OBJ2: An object-oriented language for abstract program specification

はてなブックマーク

公式Twitter

はてなのサービス