Content deleted Content added
Combined the sections to read better(and to better reflect the article's stub status) as well as expanding on it |
m Dated {{Citation needed}}. (Build p608) |
||
Line 3:
url=http://www4.informatik.uni-erlangen.de/Projects/JX/poster/jx-poster.jpg|
author=Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder|
publisher=University of Erlangen|accessdate=2007-04-21}}</ref> Since language-based systems can assure ahead of time that cannot do things that can damage the system(such as corrupting memory by dereferencing [[dangling pointer]]s), it is possible for them to avoid expensive address space switches needed by traditional OSes; because of this [[microkernel]]s are more popular than on traditional systems.{{Citation needed|date=April 2011}}
==Examples==
Line 20:
*V Haldar, D Chandra, M Franz ''[http://www.vivekhaldar.com/pubs/trustedvm-tr.pdf Semantic remote attestation—a virtual machine directed approach to trusted computing]'' USENIX Virtual Machine Research and Technology Symposium, 2004
*Giacobazzi, Mastroeni ''[http://doi.acm.org/10.1145/964001.964017 Abstract non-interference: parameterizing non-interference by abstract interpretation]'' Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages: 186 - 197 (2004)
*Algis Rudys, Dan S. Wallach ''[http://doi.acm.org/10.1145/505586.505589 Termination in language-based systems]'' ACM Transactions on Information and System Security (TISSEC) Volume 5 , Issue 2 (May 2002) pp. 138 - 168
{{refend}}
| |||