Queen's University
School of Computing

Technical Report List (part T)

Electronic copies of some reports are available in Adobe PDF and Postscript formats; click the appropriate link to download for display. Some postscript files may not display properly at your site, especially if they contain embedded font file descriptions.

Takahara, Glen:

2011-583 (1.609 Mbytes)

"Routing for Wireless Multi Hop Networks - Unifying and Distinguishing Features", by Sherin Abdel Hamid, Hossam Hassanein and Glen Takahara, December 2011. 54 pages.

Tam, Hung:

2006-528 available in PDF (700.806 Kbytes) and Postscript (10.568 Mbytes)

"A Survey on Multi-hop Cellular Networks", by Hung Tam, December 2006. 35 pages.

Tennent, R.D.:

1991-304

"Semantical Analysis Of Specification Logic. Part 2", by P. W. O'Hearn and R.D. Tennent.

1988-218

"Elementary Data Structures in Algol-Like Languages", by R.D. Tennent, February 1988. 33 pages.

1985-169

"Semantical Analysis of Specification Logic", by R.D. Tennent, March 1985. 15 pages.

1982-144

"Denotational Semantics of Hoare Classes", by R.D. Tennent, September 1982. 11 pages.

1982-134

"Three Proposals for Extending Pascal", by R.D. Tennent, January 1982. 26 pages.

1981-129

"Semantics of Interference Control", by R.D. Tennent, October 1981. 22 pages.

1977-48

"On a New Approach to Representation Independent Data Classes", by R.D. Tennent, July 1977. 20 pages.

1977-47

"A Denotational Definition of the Programming Language PASCAL", by R.D. Tennent, July 1977. 42 pages.

1976-44

"Language Design Methods Based on Semantic Principles", by R.D. Tennent, July 1976. 36 pages.

1975-32

"PASQUAL: A Proposed Generalization of PASCAL", by R.D. Tennent, February 1975. 25 pages.

1974-25

"A Contribution to the Development of Pascal-Like Languages", by R.D. Tennent, April 1974. 13 pages.

1973-17

"Semantics and Programming Language Design: Case Study", by R.D. Tennent, July 1973. 30 pages.

1973-16

"Mathematical Semantics of SNOBOL4", by R.D. Tennent, June 1973. 54 pages.

1972-08

"Quest: The Design of a Very High Level, Pedagogic Programming Language", by T.I. Fenner, M.A. Jenkins and R.D. Tennent, July 1972. 42 pages.

Thomas, Stephen W.:

2010-574 available in PDF (429.743 Kbytes) and Postscript (6.922 Mbytes)

"DiffLDA: Topic Evolution in Software Projects", by Stephen W. Thomas, Bram Adams, Ahmed E. Hassan and Dorothea Blostein, July 2010. 24 pages.

Thomas, Craig:

2009-555 available in PDF (330.727 Kbytes) and Postscript (934.779 Kbytes)

"An Exploration of Semantic Formalisms - Part II: A Brief Survey of Other Semantic Formalisms", by Craig Thomas, July 2009. 38 pages.

2009-554 available in PDF (247.674 Kbytes) and Postscript (1.027 Mbytes)

"An Exploration of Semantic Formalisms - Part I: A Comparison of First Order Predicate Calculus, Intensional Logic and Conceptual Structures", by Craig Thomas, February 2009. 32 pages.

Traub, J.F.:

1974-26

"Principles for Testing Polynomial Zerofinding Programs", by M.A. Jenkins and J.F. Traub, March 1974. 23 pages. Traub is from Carnegie-Mellon Univ..

Turner, Christopher:

1996-402 available in PDF (321.582 Kbytes) and Postscript (398.386 Kbytes)

"Constraint Based Reasoning with Constraint Logic Programming and Array Based Logic", by Christopher Turner, November 1996.