Travelled to:1 × Israel
1 × Italy
Collaborated with:J.A.Bergstra J.I.Zucker S.S.Wainer
Talks about:abstract (2) program (2) comput (2) type (2) data (2) characteris (1) semicomput (1) structur (1) function (1) specifi (1)
Person: J. V. Tucker
DBLP: Tucker:J=_V=
Contributed to:
1990198919811980Wrote 4 papers:
- ICALP-1990-TuckerWZ #data type
- Provable Computable Functions on Abstract Data Types (JVT, SSW, JIZ), pp. 660–673.
- ICALP-1989-TuckerZ #source code
- Horn Programs and Semicomputable Relations on Abstract Structures (JVT, JIZ), pp. 745–760.
- ICALP-1981-BergstraT #algebra #hoare #logic #programming
- Algebraically Specified Programming Systems and Hoare’s Logic (JAB, JVT), pp. 348–362.
- ICALP-1980-BergstraT #data type #equation #finite #specification
- A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.