BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
2 × Germany
Collaborated with:
J.V.Pitt A.J.J.Dick J.Kramer M.C.Costa J.Booth G.Uchyigit B.Carlin E.Quak
Talks about:
translat (1) attribut (1) languag (1) symbol (1) specif (1) semant (1) reason (1) narrow (1) invari (1) experi (1)

Person: Jim Cunningham

DBLP DBLP: Cunningham:Jim

Contributed to:

HCI v2 19991999
ICSE 19901990
WAGA 19901990
CADE 19861986
ICSE 19791979

Wrote 5 papers:

Agents in the box (GU, BC, EQ, JC), pp. 157–161.
ICSE-1990-CostaCB #animation #logic
Logical Animation (MCC, JC, JB), pp. 144–149.
WAGA-1990-PittC #natural language #semantics
Attributed Translation and the Semantics of Natural Language (JVP, JC), pp. 284–297.
CADE-1986-DickC #automation #empirical #equation #reasoning #using
Using Narrowing to do Isolation in Symbolic Equation Solving — An Experiment in Automated Reasoning (AJJD, JC), pp. 272–280.
ICSE-1979-KramerC #invariant #specification
Invariants for Specifications (JK, JC), pp. 183–193.

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.