logo biblio digital exactas
logo twitter logo instagram logo whatsapp logo mail

Navegar

Colección

Datos Estadísticas

Lista de

Semi-automatics
4
"Dynamite: A tool for the verification of alloy models based on PVS" (2014) Moscato, M.M.; Lopez Pombo, C.G.; Frias, M.F. ACM Transactions on Software Engineering and Methodology. 23(2)
"Quantitative dynamic-memory analysis for Java" (2011) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. Concurrency Computation Practice and Experience. 23(14):1665-1678
"On transforming Java-like programs into memory-predictable code" (2009) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009:140-149
"The -λ Calculus with constructors: Syntax, confluence and separation" (2009) Arbiser, A.; Miquel, A.; Ros, A. Journal of Functional Programming. 19(5):581-631