リモート参照が可能な循環属性文法による怠けたコード移動の実現

goto 文のような，非構造的ジャンプを持つ言語に対する最適化を属性文法で定式化することは，従来困難であった．それは，既存の属性文法では離れたノードの属性間の関係の記述が難しく，かつジャンプ命令によって属性の依存関係に循環が生じる場合に評価ができなかったからである．そこで我々は，遠隔ノードの属性参照が可能で，かつある条件下での属性依存関係のサイクルを許すという循環リモート属性文法を提案した．本研究では、この拡張した属性文法を用いて非構造的ジャンプを持つ言語に対する，部分冗長性除去の最適化器の実装を行った．データフロー方程式に基づき，怠けたコード移動の可読性の優れた記述に成功した．...

Full description

Saved in:
Bibliographic Details
Published in日本ソフトウェア科学会大会講演論文集 p. 1C3
Main Authors 立川, 英, 佐々木, 晃, 佐々, 政孝
Format Journal Article
LanguageJapanese
Published 日本ソフトウェア科学会 2002
Online AccessGet full text
ISSN1349-3515
DOI10.11309/jssstconference.19.0.1C3.0

Cover

Abstract goto 文のような，非構造的ジャンプを持つ言語に対する最適化を属性文法で定式化することは，従来困難であった．それは，既存の属性文法では離れたノードの属性間の関係の記述が難しく，かつジャンプ命令によって属性の依存関係に循環が生じる場合に評価ができなかったからである．そこで我々は，遠隔ノードの属性参照が可能で，かつある条件下での属性依存関係のサイクルを許すという循環リモート属性文法を提案した．本研究では、この拡張した属性文法を用いて非構造的ジャンプを持つ言語に対する，部分冗長性除去の最適化器の実装を行った．データフロー方程式に基づき，怠けたコード移動の可読性の優れた記述に成功した．
AbstractList goto 文のような，非構造的ジャンプを持つ言語に対する最適化を属性文法で定式化することは，従来困難であった．それは，既存の属性文法では離れたノードの属性間の関係の記述が難しく，かつジャンプ命令によって属性の依存関係に循環が生じる場合に評価ができなかったからである．そこで我々は，遠隔ノードの属性参照が可能で，かつある条件下での属性依存関係のサイクルを許すという循環リモート属性文法を提案した．本研究では、この拡張した属性文法を用いて非構造的ジャンプを持つ言語に対する，部分冗長性除去の最適化器の実装を行った．データフロー方程式に基づき，怠けたコード移動の可読性の優れた記述に成功した．
Author 佐々木, 晃
立川, 英
佐々, 政孝
Author_xml – sequence: 1
  fullname: 立川, 英
  organization: 東京工業大学 大学院情報理工学研究科 数理・計算科学専攻
– sequence: 1
  fullname: 佐々木, 晃
  organization: 東京工業大学 大学院情報理工学研究科 数理・計算科学専攻
– sequence: 1
  fullname: 佐々, 政孝
  organization: 東京工業大学 大学院情報理工学研究科 数理・計算科学専攻
BookMark eNpdUD1Lw0AAPUTBWvsrnBPvcpfTGyX4hQUXXVzC9XLRhppK0sWtSRArFYKCjlZcChWq0lHtnzmS-DMMWhzkwXvD-xjeEpj3274EYAVBHSEM2aoXhmFHtH1XBtIXUkdMLy0L63AOVBAmTMMmMhdBLQw9CCHGkBJCKuBIJSOVPKnkQyW9LI2Li6GKrrP05Sv5VNEom46K29fs7SHvDvP7y3xyp6JnFfdU3M-7jyq6UdFAxZOf-lUxfM_6ZWCcjQdFOl0GCy5vhbI20yo43No8sHa0-v72rrVR1zzEENdMByO5TgmCBlvDlDeg4QiXUoNSRE3iEOxC2pDE4ZQJYkoHYSncEgYra1jgKtj73fXCDj-W9lnQPOXBuc2DTlO0pP3vGhsxG87Iwn8pccID2-P4Gw6xh6E
ContentType Journal Article
Copyright 2002 日本ソフトウェア科学会
Copyright_xml – notice: 2002 日本ソフトウェア科学会
DOI 10.11309/jssstconference.19.0.1C3.0
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
EISSN 1349-3515
EndPage 1C3
ExternalDocumentID article_jssstconference_19_0_19_0_1C3_article_char_ja
GroupedDBID ALMA_UNASSIGNED_HOLDINGS
JSF
KQ8
RJT
ID FETCH-LOGICAL-j191a-5d31e8641029736ab02dcf662661654d43f06be4da69c45ed13ecfcfc29e863c3
IngestDate Wed Sep 03 06:29:43 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language Japanese
LinkModel OpenURL
MeetingName 日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第19回大会
MergedId FETCHMERGED-LOGICAL-j191a-5d31e8641029736ab02dcf662661654d43f06be4da69c45ed13ecfcfc29e863c3
Notes 1C-3
OpenAccessLink https://www.jstage.jst.go.jp/article/jssstconference/19/0/19_0_1C3/_article/-char/ja
ParticipantIDs jstage_primary_article_jssstconference_19_0_19_0_1C3_article_char_ja
PublicationCentury 2000
PublicationDate 2002
PublicationDateYYYYMMDD 2002-01-01
PublicationDate_xml – year: 2002
  text: 2002
PublicationDecade 2000
PublicationTitle 日本ソフトウェア科学会大会講演論文集
PublicationYear 2002
Publisher 日本ソフトウェア科学会
Publisher_xml – name: 日本ソフトウェア科学会
SSID ssj0003306444
ssib018194627
ssib002670979
Score 1.3730477
Snippet goto 文のような，非構造的ジャンプを持つ言語に対する最適化を属性文法で定式化することは，従来困難であった．それは，既存の属性文法では離れたノードの属性間の関係の...
SourceID jstage
SourceType Publisher
StartPage 1C3
Title リモート参照が可能な循環属性文法による怠けたコード移動の実現
URI https://www.jstage.jst.go.jp/article/jssstconference/19/0/19_0_1C3/_article/-char/ja
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
ispartofPNX 日本ソフトウェア科学会大会講演論文集, 2002/09/11, pp.1C3-1C3
journalDatabaseRights – providerCode: PRVAFT
  databaseName: Open Access Digital Library
  databaseCode: KQ8
  dateStart: 20020101
  customDbUrl:
  isFulltext: true
  eissn: 1349-3515
  dateEnd: 20051231
  titleUrlDefault: http://grweb.coalliance.org/oadl/oadl.html
  omitProxy: true
  ssIdentifier: ssj0003306444
  providerName: Colorado Alliance of Research Libraries
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwvR1NaxNBdCkVxIsoKn5T0Dkm7u7Mzs5429lsKIKC0ELxsiS7m0MOVUx68dQkiJUKRUGPVrwUKlSlR7V_Zkniz_DN29kk1g-0iASGt2_e17y3y7yZzIdlXff0EePcSSo8bckKa2YN-OYyWpE8oYlgmUjx1pLbd_jiMru14q3Mzd-cWbW01m1Wk0c_3VdylKgCDuKqd8n-RWQnQgEBMMQXSogwlH8UYxJRIigJghJwDaBCAwhBIo-IOhFQ5RPhkcDHKoeI0FQFdRIJ5KqZKi3QIypCwCfSJcpGjENkRCKul0doOZxIgBFQlEivZFcIuKi9AFTJZRsa6ZRA3dCAhMPGS60dFCmFpqoZFZHGQKnZfd0KFc3m2Wgb8HoIhCQISy01I9yIolMjA14Cfgm4xgBtLairIQ3TFkp0UcCQeIIRWpHExmoMQ4zSXpr6SmoCMZkQRQ0KPQQOBlU1_dZjRBQ4fErGtO2y8J-tI2laJgp6eJBE0N_Ql2RQUTfNkbXvZn2mswP_wX9FalD0h5RJvdnDm-njnJDOpEvm6ceemOJJtu1Op9NNJptXq46sQmVIq_Y0AZksCzUfUnyIKXZkbJsipHFJpbclxm0YGx1z9VycXpBxd2borA8mnP4DDYmsZNyceKuzNKqH3owdt66V1t74ta2QnrZhsFYu9MTcc-mUddIMGheCwqTT1ly7cca6lw9288HbfPA5H2wMt_rjxzt579lw6_3XwZe8tzs82B2_-DD8-Hq0vjN69WS0_zLvvcv7G3l_c7T-Ju89z3vbeX8f2Z-Odz4NN4Fgb7i3Pd46OGst16OlcLFibkqptB3pNCpeSp1McObgVXS80bTdNGlxrrNv7rGU0ZbNmxlLG1wmzMtSh2ZJC36uBDaa0HPW_Or91ey8teD7sgVJvU39BjD6qUjdhItWklI75YL6F6xa4Yr4QXEcTnykqF38N2IuWSfweiacE71szXcfrmVXYJTQbV7F1-EbzJviCA
linkProvider Colorado Alliance of Research Libraries
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E3%83%AA%E3%83%A2%E3%83%BC%E3%83%88%E5%8F%82%E7%85%A7%E3%81%8C%E5%8F%AF%E8%83%BD%E3%81%AA%E5%BE%AA%E7%92%B0%E5%B1%9E%E6%80%A7%E6%96%87%E6%B3%95%E3%81%AB%E3%82%88%E3%82%8B%E6%80%A0%E3%81%91%E3%81%9F%E3%82%B3%E3%83%BC%E3%83%89%E7%A7%BB%E5%8B%95%E3%81%AE%E5%AE%9F%E7%8F%BE&rft.jtitle=%E6%97%A5%E6%9C%AC%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E7%A7%91%E5%AD%A6%E4%BC%9A%E5%A4%A7%E4%BC%9A%E8%AC%9B%E6%BC%94%E8%AB%96%E6%96%87%E9%9B%86&rft.au=%E7%AB%8B%E5%B7%9D%2C+%E8%8B%B1&rft.au=%E4%BD%90%E3%80%85%E6%9C%A8%2C+%E6%99%83&rft.au=%E4%BD%90%E3%80%85%2C+%E6%94%BF%E5%AD%9D&rft.date=2002&rft.pub=%E6%97%A5%E6%9C%AC%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E7%A7%91%E5%AD%A6%E4%BC%9A&rft.eissn=1349-3515&rft.spage=1C3&rft.epage=1C3&rft_id=info:doi/10.11309%2Fjssstconference.19.0.1C3.0&rft.externalDocID=article_jssstconference_19_0_19_0_1C3_article_char_ja