JAVA SE 7虛擬機規範 JAVA SE 7虛擬機規範

frankyhui

JAVA SE 7虛擬機規範中所提及的“Java虛擬機”皆為虛擬機的概念模型而非具體實現。實現隻要保證與概念模型最終等效即可，而具體實現的方式無需受概念模型束縛。因此通過虛擬機規範去分析程序的執行語義問題（虛擬機會做什麼）時，但分析程序的執行行為問題。