ACM transactions on programming languages and systems
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
- Página 1 de 1
