An abstract interpretation approach for enhancing the java bytecode verifier /

Zapisane w:

Opis bibliograficzny
1. autor:	Barbuti, Roberto.
Kolejni autorzy:	Francesco, Nicoletta De., Tesei, Luca.
Format:	Artykuł
Język:	English
Hasła przedmiotowe:	Abstract interpretation Bytecode verifier Java bytecode
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt


LEADER	00894nam a2200289 4500
001	DLU110129909
005	##20111223
040	#	#	\|a DLU \|b eng
041	#	#	\|a eng
044	#	#	\|a uk
100	#	#	\|a Barbuti, Roberto.
245	#	#	\|a An abstract interpretation approach for enhancing the java bytecode verifier / \|c Roberto Barbuti, Nicoletta De Francesco, Luca Tesei.
653	#	#	\|a Abstract interpretation
653	#	#	\|a Bytecode verifier
653	#	#	\|a Java bytecode
700	#	#	\|a Francesco, Nicoletta De.
700	#	#	\|a Tesei, Luca.
773	#	#	\|t The Computer Journal \|g Vol. 53, no. 6 (July 2010), p. 679-700
920	#	#	\|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
994	#	#	\|a DLU
900	#	#	\|a True
911	#	#	\|a Trương Bảo Trâm Anh
925	#	#	\|a G
926	#	#	\|a A
927	#	#	\|a BB
980	#	#	\|a Thư viện Trường Đại học Đà Lạt

Podobne zapisy