クラスデータの共有（オラクルはCDSと呼んでいる）とは、Javaアプリケーションの起動時間を短くし、同時にメモリ使用量を削減する仕組みである。JREがインストールされると、インストーラーはシステム Jarファイル（Java のクラスライブラリを全て含むJarファイルで、rt.jarと呼ばれる）からいくつかのクラスを特別な内部表現形式でロードし、この内部表現を「共有書庫」ファイルとして書き出す。それ以降のJVMの呼び出し時には、共有書庫ファイルはメモリマップされ、これによってクラスをロードする時間を短縮し、複数 JVM プロセスがこれらのクラスのメタデータを共有できるようになる。起動時間の短縮は、特に小さなプログラムで効果が著しい。
Java 6以前では、「クライアント」仮想マシンにおけるレジスタ割り付けはかなり初歩的なもので（ブロックを超えてレジスタが生存できない）、これは例えばx86のようなレジスタが少ないアーキテクチャで問題となる。ある操作に必要なレジスタが足りなくなると、コンパイラはレジスタからメモリ（ないしはメモリからレジスタ）に値をコピーするが、メモリは通常レジスタより低速なので、通常より時間がかかる。なお「サーバ」仮想マシンではグラフ彩色によるレジスタ割り付けを行うため、こうした問題は生じない。レジスタ割り付けの最適化はサンのJDK 6で導入された。これは同じレジスタを、可能な場合コードブロックをまたがって使用することでメモリアクセスを減らすもので、報告によればいくつかのベンチマークで約60%の性能向上が得られた。
形式主義とは、数学的言明はいくつかの記号列の操作ルールの帰結についての言明とみなしてよいと考えるものである。例えば、ユークリッド幾何学という「ゲーム」（つまり、「公理」という名のいくつかの記号列と、与えられた記号列から新しい記号列を生成する「推理規則」からなるものとみなすということ）において、ピタゴラスの定理が成立する（すなわち、ピタゴラスの定理に対応する記号列を生成できる）ということは証明可能である。形式主義によるなら、数学的真理とは、数とか集合とか三角形といったものについての真理ではない。実のところ、なにものかに「ついての」真理などでは全くない。別の種類の形式主義はしばしば演繹主義（英: deductivism）という名前で知られている。演繹主義によれば、ピタゴラスの定理は絶対的な真理ではなく、相対的な真理である。「もし」ゲームの規則が真になるような仕方で文字列に意味が与えられるなら、「そのとき」定理を真と認めなくてはいけない。あるいはむしろ、それに与えられた解釈が真なる言明であるとしなければならない。他のすべての数学的言明についても同じことが真とされる。それゆえ、形式主義では、数学は意味のない記号ゲームにすぎないと考える必要はない。ゲームの規則が妥当するなんらかの解釈が存在するということが通常期待されているからである（この立場を構造主義と比較せよ）。しかし、形式主義によって現場の数学者たちは仕事を続けることができるし、いくつかの問題を哲学者や自然科学者に委ねることができる。多くの形式主義者は、どんな公理系を研究すべきかは、実際上、自然科学や他の数学領域の要求によって示唆されると言うであろう。形式主義を唱えた初期の最も有名な人物はダフィット・ヒルベルトであった。ヒルベルトのプログラムとは、数学全体を完全かつ無矛盾な仕方で公理化しようとするものであった。ここで無矛盾とは、体系上いかなる矛盾も生じないということである。ヒルベルトは、「有限算術」（通常の算術の下位体系で、自然数について哲学的に議論しようもないよう選ばれたもの）は無矛盾であるという仮定条件のもとで、数学の体系的無矛盾性を示そうとしたのである。しかし、完全かつ無矛盾な数学体系を作りだそうというヒルベルトの目標は、ゲーデルの第2不完全性定理によって完全に潰えた。不完全性定理によれば、十分な表現力を持つ無矛盾な公理体系は自身の無矛盾性を決して証明できないからである。このような公理体系はかならず有限算術を下位体系として含むことになるから、ゲーデルの定理は、有限算術に関する体系の無矛盾性が証明不可能であることも含意している（自己の無矛盾性を証明することになるが、ゲーデルによってそれが不可能であることが証明されている）。それゆえ、無矛盾であると証明しようとしている体系よりもある意味で強力な無矛盾性を数学体系が備えているのだということをまず前提しておかなければ、数学のどんな公理体系も実際に無矛盾であることを示すことはできないことになる。初期のヒルベルトは演繹主義者であったが、上記のように、メタ数学的方法が本質的に有意味な結果を生み出すと考え、有限算術に関して実在論の立場に立っていた。後年には、どんな解釈を取ろうとも有意味な数学は他に一切ありえないという見解をもつようになった。ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーら他の形式主義者たちは、数学とは形式公理系の研究のことであると考えた。数理論理学者は形式体系を研究しているが、形式主義の立場に立つ研究者も実在論の立場に立つ研究者も同程度にいる。形式主義の信奉者は、論理学や非標準的数系、新しい集合論などといった新たなアプローチに対して比較的寛容であり、これらのアプローチを推進している。われわれが研究するゲームが多ければ多くほどよい。もっとも、例に挙げたこの3つのアプローチの動機づけになっているのは、すべて現在の数学的ないし哲学的関心である。「ゲーム」は通常恣意的なものではないのである。形式主義に対する主要な批判は、数学者たちの念頭にある現在の数学的概念は、前述した記号列操作ゲームとは縁もゆかりもないということである。例えば形式主義はどんな公理系を研究すべきかという問いに対しては沈黙する。形式主義的観点からはどの公理系も同等に有意味だからである。近年では、形式主義の立場に立つ数学者たちの中には、われわれの「形式的」な数学知識のすべてをコンピュータ読み取り可能な形態で体系的にコード化することを提案した者たちもいる。これによって数学的証明の自動検証が容易に行えるようになり、数学理論とコンピュータ・ソフトウェアの発展のために双方向定理証明を用いることができるようになるというのである。 この考え方はコンピュータサイエンスと密接に結びついているので、「計算可能性」研究の流れのもとで数学的直観主義と数学的構築主義を擁護することにもなった（後述）。概略はQEDプロジェクトを参照。