Lecture Notes in Computer Science
Collection
Collection
- ISSN: 0302-9743
Published by Springer
-
January 1983 -
Compactness in semantics for merge and fair merge In Proceedings
June 1983 -
A static analysis of VSP programs In Proceedings
January 1984
-
January 1984
-
January 1984 -
January 1984 -
January 1984 -
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness In Proceedings
March 1984