ログインして、InfoQのすべての体験をアンロックしましょう！お気に入りの著者やトピックの最新情報を入手し、コンテンツと交流し、限定リソースをダウンロードできます。 “AI活用”をキーワードに「AIを使い倒し／使いこなす」企業の最前線をお届けし ...
翔泳社では、「独習」「徹底入門」「スラスラわかる」「絵で見てわかる」「一年生」などの人気シリーズをはじめ、言語や開発手法、最新技術を解説した書籍を多数手がけています。プロジェクトマネジメントやチームビルティングといった管理職向けの ...
8日 (米国時間)、XRubyの最新版となる「XRuby 0.3.0」が公開された。XRubyはJavaおよびRubyを使って開発されたRubyコンパイラ。RubyのソースコードをコンパイルしてJavaバイトコードを生成する。プロダクトはGNU GENERAL PUBLIC LICENSE Version 2のもとで公開されている。
ログインして、InfoQのすべての体験をアンロックしましょう！お気に入りの著者やトピックの最新情報を入手し、コンテンツと交流し、限定リソースをダウンロードできます。 クラウドコンピューティングの登場以降、ソフトウェア業界は大きな変革の中に ...
Q: If I encrypt my .class files and use a custom classloader to load and decrypt them on the fly, will this prevent decompilation? A: The problem of preventing Java byte-code decompilation is almost ...
Webシステム開発用の言語としてJavaScriptが日に日に重要な位置を獲得しつつある。複雑なシステムを開発するとなるとその実行速度が問題視されるJavaScriptだが、コンパイル技術の導入やJITの導入で状況は改善されようとしている。特にFirefox 4で導入が予定さ ...
KLabは9月28日、携帯電話のJava実行環境上で動作するJavaバイトコード・インタープリタ「J/byte Engine」を開発したと発表した。 Java言語で記述されたJavaバイトコードの解釈と実行を行うインタープリタで、任意のJavaアプリに容易に組み込むことが可能な ...
Dafny-EVM の別の利用法は、コードスニペット間の等価性を形式的に証明することです。この論文の命題 12 は、形式 $${SWAPN\ POP^{N+1}}$$ のあらゆるシーケンスを $${POP^{N+1}}$$ で置きかえることを提案します（正規言語表記をつかうので $${a^k}$$ は $${a}$$ を $${k} ...
このセクションでは Dafny-EVM のつかいかた ── バイトコードのいくつかの性質を形式的に証明するための方法を紹介します。 EVM は 2^256 のモジュローで計算し、結果として算術オーバーフローで中止しません（これは MoveVM のようなスマートコントラクト用 ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する