Languages and Virtual Machines

"...because the Pentium is not fully virtualizable, a concession was made to the idea of running an unmodified operating system in the virtual machine. This concession allows modifications to be made to the operating system to make sure it does not do anything that cannot be virtualized. To distinguish it from true virtualization, this technique is called paravirtualization." from http://www.computer.org/portal/site/computer/menuitem.5d61c1d591162e4b0ef1bd108bcd45f3/index.jsp?&pName=computer_level1_article&TheCat=1005&path=computer/homepage/0506&file=cover1.xml&xsl=article.xsl&

64. Para(Virtualization)
65. The Importance of Type Safety
66. Side-effects
67. Concurrency Risks
68. Closures
69. Code Verification
70. Java Examples
71. OSGI Security