«Semántica, verificación, análisis y transformación del código byte» en Saarbrucken (Alemania)
27 Marzo 2011 - 27 Marzo 2011
Alemania
El 27 de marzo de 2011 tendrá lugar en la ciudad alemana de Saarbrucken un congreso titulado «Semántica, verificación, análisis y transformación del código byte».
El código byte (Bytecode), como el que producen los compiladores Java o .NET, se ha convertido en un tema importante de interés para la industria y los centros universitarios. El interés industrial se debe a que el código byte se suele usar para aplicaciones de Internet y de dispositivos móviles (tarjetas inteligentes, teléfonos, etc.), en las que la seguridad reviste una gran importancia.
El código byte es independiente de cualquier dispositivo y permite la carga dinámica de categorías, lo que representa un reto adicional para la aplicación de métodos formales. Asimismo, la naturaleza sin estructurar del código y la presencia pervasiva del stack de operandos también supone otro desafío para el análisis del código byte.
Este taller se centrará en los aspectos teóricos y prácticos de la semántica, la verificación, el análisis, la certificación y la transformación del código byte.Para más información, consulte: http://software.imdea.org/~pierreganty/bytecode2011/(se abrirá en una nueva ventana)
El código byte (Bytecode), como el que producen los compiladores Java o .NET, se ha convertido en un tema importante de interés para la industria y los centros universitarios. El interés industrial se debe a que el código byte se suele usar para aplicaciones de Internet y de dispositivos móviles (tarjetas inteligentes, teléfonos, etc.), en las que la seguridad reviste una gran importancia.
El código byte es independiente de cualquier dispositivo y permite la carga dinámica de categorías, lo que representa un reto adicional para la aplicación de métodos formales. Asimismo, la naturaleza sin estructurar del código y la presencia pervasiva del stack de operandos también supone otro desafío para el análisis del código byte.
Este taller se centrará en los aspectos teóricos y prácticos de la semántica, la verificación, el análisis, la certificación y la transformación del código byte.Para más información, consulte: http://software.imdea.org/~pierreganty/bytecode2011/(se abrirá en una nueva ventana)