Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Eric Bodden, Patrick Tl. Lam, Laurie Hendren
Structured Communication-Centered Programming for Web Services
Marco Carbone, Kohei Honda, Nobuko Yoshida
On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code
Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-J Boehm, Dhruva R. Chakrabarti
Reasoning about Web Applications: An Operational Semantics for HOP
Gerard Boudol, Zhengqian Luo, Tamara Rezk, Manuel A. Serrano Martín
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: