Reasoning about procedures as parameters in the language L4

Authors:
S. M. German;E. M. Clarke;J. Y. Halpern
Affiliations:
-;-;-
Venue:
Information and Computation
Year:
1989

Citing 0
Cited 3

Ownership confinement ensures representation independence for object-oriented programs

Journal of the ACM (JACM)
Expressibility Of The Semantics Of Sequential Programs In First-Order Logic

Fundamenta Informaticae
Automating relatively complete verification of higher-order functional programs

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract