Concepedia

James C. King

JC

Statistics

Publications

15

Citations

11.1K

H-Index

12

Active since

1970

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

Stanford University

James C. King is an author at IBM (United States) specializing in computer science, computing, and formal methods.

Publications per year

1970–2018

15

Publications

15

The Astropy Project: Building an Open-science Project and Status of the v2.0 Core Package<sup>*</sup>

Adrian M. Price-Whelan, Brigitta Sipőcz, Hans Moritz Günther et al. · The Astronomical Journal · 2018 · 7.4K citations · Full text

, , +5

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

, , +10

A program verifier

James C. King · IFIP Congress · 1970 · 209 citations

A new approach to program testing

James C. King · ACM SIGPLAN Notices · 1975 · 190 citations

, , +12

A new approach to program testing

James C. King · 1975 · 103 citations

, , +12

1–5 of 15