型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案

五百蔵重典; 野木兼六; Shigenori IORO; Kenroku NOGI

首页> 外文期刊>電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science >型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案

【24h】

型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案

机译：使用类型变量反向数据流分析的机器代码类型方法的提议

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Javaのバイトコード検証に用いることが可能な，マシンコードの型付けの新しい手法を提案する．この手法は型変数を用いて事前条件·事後条件を表現し，命令の実行系列とは逆向きに解析する．これにより，各命令列が必要とする事前条件が明らかになり，解析時に発生するバックトラックを減らす．

机译：我们提出了一种新的机器代码方法，可用于Java的作业字节验证。此方法使用类型变量来表示预处理，后发后条件，并反向分析指令执行序列。这阐明了每个指令序列所需的预先条件，并减少分析期间发生的返波。

著录项

来源
《電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science》 |2004年第243期|共6页
作者
五百蔵重典; 野木兼六; Shigenori IORO; Kenroku NOGI;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类计算机软件;
关键词
検証器; Java; バイトコード; データフロー解析; 型変数; 単一化; Verifier; Java; Bytecode; Dataflow Analysis; Type Variable; Unification;

机译：验证者;java;字节代码;数据流分析;型变量;单尾;验证者;java;字节码;数据流分析;型变量;统一;

相似文献

外文文献
中文文献
专利

1. 型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案 [J] . 五百蔵重典, 野木兼六, Shigenori IORO, 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2004,第243期

机译：通过使用类型变量进行反向数据流分析的机器码键入方法的建议
2. NTTら業界団体を設立光通信技術を研究日本電信電話(株)(NTT、東京都千代田区)、米インテル、ソ二ー(株)(東京都港区)の3社は、新たな業界団体を設立する。光電融合技術を活用したフォトニクス関連技術の研究開発などを推進し、超大容量通信に対応できる光ネットヮーク技術の確立などを目指してハる。3-3プロセッシング領域狙う国内DRAM大手のェルピーダメモリを買収し、大きく飛躍を遂げた米マイクロンテクノロジー。2017年にはサンディスク共同創業者の1人である、Sanjay Mehrotra (サンジエイ·メイロトラ)氏を招聘。経営体制も刷新され、大きく生まれ変わった「新生マイクロン」を全面に押し出した。米サンフランシスコで開催されたプライベートイベント「MlicronInsight 2019」(現地10月24日開催)では、同社のあるべき将来像に対するメッセージが随所に散りばめられていた。 [J] . 半導体産業新聞 . 2019,第2372期

机译：成立了NTT和其他工业集团研究光通信技术的日本电报电话公司（NTT，东京千代田区），英特尔，索尼公司（东京都港区）是三个新的工业集团。建立。促进利用光电子融合技术的光子相关技术的研究和开发，并致力于建立可支持超高容量通信的光网络技术。 3-3处理领域美国Micron Technology在收购了国内主要DRAM公司Elpida Memory之后取得了巨大飞跃。 2017年，我们邀请了Sanjay联合创始人Sanjay Mehrotra。管理系统也进行了改进，我们推出了完全脱胎换骨的“新Micron”。在旧金山举行的私人活动“ Mlicron Insight 2019”（10月24日举行）上，有关公司未来愿景的信息四处散布。
3. NTTドコモは，2015年4 月28日の決算発表時に「中期目標に向けた新たな取り組み」と題して新たな事業ビジョンを発表しました．キーワードは「競争」から「協創」です．パートナーの皆様が保有する強みとドコモの強み（各種のビジネスアセット）を組み合わせて新たな価値を一緒に創造（協創）していきたいという思いです．この取り組みをドコモの頭文字をとって「+d（プラスディー）」と名付けました．本稿では，ドコモの「+d」の具体的な取り組みについて紹介します．本記事は，2016年2 月18～19日に開催された「NTT R&Dフォーラム2016」ワークショップでの講演を基に構成したものです． [J] . 阿佐美弘恭 NTT技術ジャーナル . 2016,第4期

机译：NTT DOCOMO宣布了2015年4月28日公布时题为“中期目标的新努力的新商业愿景。关键词是“竞争”的“合作”。我想我想结合合作伙伴的力量和DoCoMo（各种商业资产）的力量，并共同创造一个新价值。这项倡议被称为Docomo的首字母，并命名为“+ D（Plasdee）”。本文介绍了Docomo“+ D”的具体举措。本文基于2016年2月18日至196年2月18日至19日举行的“NTT研发论坛2016年”研讨会的讲座。
4. メッシュパラメタライゼーションを用いた金型データと実成型品測定データの対応付けに関する研究（第2報）－メッシュパラメタライゼーションと非剛体レジストレーションの組合せによる対応付けの高精度化 [C] . 鈴木邦祐, 金井理, 伊達宏昭精密工学会大会学術講演会 . 2011

机译：关于模式数据的混合参数化研究和实施产品确定数据测量数据（第2次报告） - 网格参数化和非RIGENT注册的组合
5. 無線センサネットワークにおけるカッコウ探索とファシ?ーアルコ?リス?ムを用いたクラスタリンク?フ?ロトコルの提案利用統計は来月からご利用いただけます [D] . 井戸千晴 2019

机译：从下个月起将提供使用布谷鸟搜索和简化算法在无线传感器网络中的群集链接协议的使用建议统计数据
6. スマートフォンによるユーザ参加型主観的情報分析システムを用いた多段階情報発信手法の提案：江田島デジタル観光マップ「島に恋」の開発 [O] . A Proposal of Multi-stage Information Transmission Method with Smartphone Based Participatory Sensing System市村匠, 鎌田真 2014

机译：使用智能手机的用户参与主观信息分析系统的多阶段信息传输方法的提案：Etajima数字观光地图“Island ni Koi”的开发

型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案

摘要

著录项

相似文献

相关主题

期刊订阅