JFK, the son of Joseph Patrick Kennedy and Rose Fitzgerald Kennedy, was born in Brookline, Massachusetts, on May 29, 1917. He ...

In the ’60s, the Kennedy name reached the highest office in the land, with John Fitzgerald Kennedy, commonly referred to as “JFK,” winning the 1960 presidential election. But for all the family’s ...

Explore the Kennedy family tree for a who’s who of one of America’s most famous families.

Dafny = { IncludeDirective_ } { TopDecl } EOF IncludeDirective_ = "include" stringToken TopDecl = { { DeclModifier } ( SubModuleDecl | ClassDecl | DatatypeDecl ...