BENIAMINO ACCATTOLI; EDUARDO BONELLI; DELIA KESNER; CARLOS LOMBARDI

A nonstandard standardization theorem

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Año: 2014; p. 659 - 670

FRANCISCO BAVERA; EDUARDO BONELLI

Type-Based Information Flow Analysis for Bytecode Languages with Variable Object Field Policies

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC)

Año: 2008; p. 347 - 351