Toward a complete transformational toolkit for compilers
J. Field, J.A. Bergstra, J. Heering, T.B. Dinesh
págs. 639-684
Proving current constraint programs correct
Frank S. De Boer, Maurizio Gabbrielli, Catuscia Palamidessi, Elena Marchiori
págs. 685-725
Verifying parameterized networks
O. Grumberg, E.M. Clarke, Somesh Jha
págs. 726-750
págs. 751-803
Mobile objects in distributed Oz
Seif Haridi, Peter Van Roy, Gert Smolka, Per Brand, Michael Mehl, Ralf Scheidhauer
págs. 804-851
© 2001-2024 Fundación Dialnet · Todos los derechos reservados