An Interval Constraint System for Lattice Domains
Antonio J. Fernández, Patricia M. Hill
págs. 1-46
págs. 47-56
págs. 57-114
Synthesis of Fault-Tolerant Concurrent Programs
Paul C. Attie, E. Allen Emerson, Anish Arora
págs. 125-185
págs. 186-190
Offline Partial Evaluation Can Be as Accurate as Online Partial Evaluation
Robert Glück, Niels H. Christensen
págs. 191-220
© 2001-2024 Fundación Dialnet · Todos los derechos reservados