1 - 10 of 4747 publications for ACM Trans. Program. Lang. Syst. and ACM Trans. Program. Lang. Syst.. (0.141 seconds)
The Program Dependence Graph and Its Use in Optimization
- Authors: Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren.
- Article: ACM Trans. Program. Lang. Syst.
- Published year: 1987
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications
- Authors: Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla.
- Article: ACM Trans. Program. Lang. Syst.
- Published year: 1986
An Axiomatic Basis for Computer Programming
- Authors: C. A. R. Hoare.
- Article: Commun. ACM
- Published year: 1969
An Axiomatic Basis for Computer Programming (Reprint)
- Authors: C. A. R. Hoare.
- Article: Commun. ACM
- Published year: 1983
Program Slicing
- Authors: Mark Weiser.
- Article: IEEE Trans. Software Eng.
- Published year: 1984
Viewpoint - Retrospective: an axiomatic basis for computer programming
- Authors: C. A. R. Hoare.
- Article: Commun. ACM
- Published year: 2009
Generative Communication in Linda
- Authors: David Gelernter.
- Article: ACM Trans. Program. Lang. Syst.
- Published year: 1985
The Temporal Logic of Actions
- Authors: Leslie Lamport.
- Article: ACM Trans. Program. Lang. Syst.
- Published year: 1994
Virtual Time
- Authors: David R. Jefferson.
- Article: ACM Trans. Program. Lang. Syst.
- Published year: 1985
A New Approach to Proving the Correctness of Multiprocess Programs
- Authors: Leslie Lamport.
- Article: ACM Trans. Program. Lang. Syst.
- Published year: 1979