Journal of the ACM Bibliography

Albert R. Meyer and Joseph Y. Halpern. Axiomatic definitions of programming languages: A theoretical assessment. Journal of the ACM, 29(2):555-576, April 1982. [BibTeX entry]
Selected papers that cite this one


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database