article · Science of Computer Programming · 1995

Predicate transformer semantics

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Schmidt, D. (1995). Predicate transformer semantics. Science of Computer Programming, 24(1), 100–102. https://doi.org/10.1016/0167-6423(95)90013-6

MLA 9

Schmidt, David. “Predicate transformer semantics.” Science of Computer Programming, vol. 24, no. 1, 1995, pp. 100–02, https://doi.org/10.1016/0167-6423(95)90013-6.

Chicago

Schmidt, David. 1995. “Predicate transformer semantics.” Science of Computer Programming 24 (1): 100–02. https://doi.org/10.1016/0167-6423(95)90013-6.

Harvard

Schmidt, D. (1995) ‘Predicate transformer semantics’, Science of Computer Programming, 24(1), pp. 100–102. Available at: https://doi.org/10.1016/0167-6423(95)90013-6.

BibTeX

@article{schmidt1995predicate,
  title = {{Predicate transformer semantics}},
  author = {Schmidt, David},
  journal = {Science of Computer Programming},
  volume = {24},
  number = {1},
  pages = {100--102},
  year = {1995},
  doi = {10.1016/0167-6423(95)90013-6}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.