BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tucker:J=_V=

Contributed to:

ICALP 19901990
ICALP 19891989
ICALP 19811981
ICALP 19801980

Wrote 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.

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.