The essence of ruby

Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

Ruby is a dynamic, object-oriented language with advanced features such as yield operator and dynamic class manipulation. They make Ruby a popular, highly productive scripting language, but they also make the semantics of Ruby complicated and difficult to understand. Even the JIS/ISO standard of Ruby seems to contain some ambiguities. For Ruby to be established as a reliable scripting language, it should have a rigorous semantics. To meet this challenge, we present a formal operational semantics that can serve as a high-level specification for both the users and implementers. The key insight underlying the semantics is that various elaborate features of Ruby can be cleanly represented as a composition of two orthogonal calculi: one for objects and classes and the other for representing control. The presented semantics leads straightforwardly to a reference implementation. Initial evaluation of our implementation confirms that the presented semantics conforms to commonly accepted Ruby behavior.

本文言語English
ホスト出版物のタイトルProgramming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings
編集者Jacques Garrigue
出版社Springer Verlag
ページ78-98
ページ数21
ISBN(電子版)9783319127354
DOI
出版ステータスPublished - 2014
イベント12th Asian Symposium on Programming Languages and Systems, APLAS 2014 - Singapore, Singapore
継続期間: 2014 11 172014 11 19

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
8858
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other12th Asian Symposium on Programming Languages and Systems, APLAS 2014
国/地域Singapore
CitySingapore
Period14/11/1714/11/19

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「The essence of ruby」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル