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: Cunningham:Jim
Contributed to:
1999
1990
1990
19861979Wrote 5 papers:
- HCI-CCAD-1999-UchyigitCQC
- 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.