JohnMauchly has also been credited for being the first one using the verb "to program" in his 1942 paper on electronic computing, although in the context of ENIAC, not in its current meaning.
Mauchly and Eckert's patent claim on the 1946 ENIAC was invalidated by U.S. Federal Court decision in October, 1973 for several reasons.