Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai
págs. 917-979
Efficient and Flexible Incremental Parsing
Tim A. Wagner, Susan L. Graham
págs. 980-1013
Alma-O: An Imperative Language that Supports Declarative Programming
Jacob Brunekreef, Krzysztof R. Apt
págs. 1014-1066
A Logical Model for Relational Abstract Domains
Roberto Giacobazzi, Francesca Scozzari
págs. 1067-1109
© 2001-2024 Fundación Dialnet · Todos los derechos reservados