Paul Hudak, Rajiv Mirani
págs. 609-651
Polymorphic Specialization For ML
Simon Helsen, Peter Thiemann
págs. 652-701
Symmetry and Reduced Symmetry in Model Checking
A. Prasad Sistla, Patrice Godefroid
págs. 702-734
Optimistic Register Coalescing
Jinpyo Park, Soo-Mook Moon
págs. 735-765
© 2001-2024 Fundación Dialnet · Todos los derechos reservados