jomu79

N. Jones, S. Muchnick. Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra. S. Muchnick, N. Jones (eds.), Chap. 12, pp. 380-393, North-Holland, 1979.

Keyword

[ Dyntyp ]

Contact

Neil D. Jones
Steven S Muchnick

BibTex Reference

@InCollection{jomu79,
   Author = {Jones, N. and Muchnick, S.},
   Title = {Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra},
   editor = {Muchnick, S. and Jones, N.},
   Chapter= {12},
   Pages = {380--393},
   Publisher = {North-Holland},
   Year = {1979}
}

EndNote Reference [help]

Get EndNote Reference (.ref)