Verifying policy-based web services security
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Domain specific language implementation via compile-time meta-programming
Laurence Tratt
XARK: an extensible framework for automatic recognition of computational kernels
Manuel Arenaz, Juan Touriño, Ramón Doallo
Perfect hashing as an almost perfect subtype test
Roland Ducournau
Dually nondeterministic functions
Joseph M. Morris, Malcolm Tyrrell
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: