BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
Talks about:
interpret (1) prospect (1) theorem (1) program (1) prover (1) orient (1) format (1) design (1) verif (1) studi (1)

Person: James C. King

DBLP DBLP: King:James_C=

Contributed to:

Hypertext 20042004
ICSE 19781978
STOC 19701970

Wrote 3 papers:

HT-2004-King #case study #design
A format design case study: PDF (JCK), pp. 95–97.
ICSE-1978-King #verification
Prospects for Program Verification (JCK), p. 71.
STOC-1970-KingF #integer #proving #theorem proving
An Interpretation Oriented Theorem Prover over Integers (JCK, RWF), pp. 169–179.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.