代数的記述に基づく抽象的順序機械の処理系の作成

鷲坂, 光一; 井上, 克郎; 杉山, 裕二 他

情報処理学会研究報告. ソフトウェア工学研究会報告, 1987, 1986-SE-052(11), 65-71

アクセス数:320件（2025-07-07 19:30 集計）

固定URL: https://hdl.handle.net/11094/50175

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
ipsj-se_52_11_65 pdf なし 778 KB 57 2014.09.26 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
代数的記述に基づく抽象的順序機械の処理系の作成
Problems on Translation of a class of Algebraic Specification
ダイスウテキ　キジュツ　二　モトヅク　チュウショウテキ　ジュンジョ　キカイ　ノ　ショリケイ　ノ　サクセイ
著者
著者名
鷲坂, 光一 ; ワシサカ, ミツカズ ; Washisaka, Mitsukazu
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
著者名
杉山, 裕二 ; スギヤマ, ユウジ ; Sugiyama, Yuji
NRID
1000010172222 1000010172222
著者名
鳥居, 宏次 ; トリイ, コウジ ; Torii, Koji
抄録
抽象的順序機械と呼ばれる代数的記述のクラスについては，関数型言語ASL/Fに変換するシステムが作成されている．しかし，実行順序をある程度指定している抽象的順序機械は，手続き型言語に変換する方が望ましいと考えられる．現在，抽象的順序機械を手続き型言語に変換する処理系を作成中である．本報告では，従来のシステムの仕様の改善点，手続き型言語に変換することにより生じる問題点，変換方法およびその際の最適化ついて報告する．特に，改善点として，制御構造および基本関数等の改善について，また，問題点として，実行順序の問題を取り上げその解決方法を考察する.
As for the implementation of a class of algebraic specifications, named abstract sequential machines, we constructed a system which translates the abstract sequential machine into a functional program in ASL/F. Now, we develop a new translation system from the abstract sequential machine into a procedual language program, since we expect more efficent execution of the translated program than the previous system. In this paper, we show improvements in the new system and discuss problems on the translation.
出版者
情報処理学会
ジョウホウ　ショリ　ガッカイ
収録物名
情報処理学会研究報告. ソフトウェア工学研究会報告
巻(号)
1986-SE-052(11)
ページ
65-71
刊行年月
1987-02-13
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/50175
PISSN
09196072
NCID
AN10112981
アクセス権
open access
権利情報
ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please.
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article