Bibliography
@article{Tha85,
author = {Satish R. Thatte},
title = {{On the Correspondence between Two Classes of Reduction
Systems}},
journal = {Information Processing Letters},
year = {1985},
month = {February},
volume = {20},
number = {1985},
pages = {83--85}
}
@article{Tha87,
author = {Satish R. Thatte},
title = {{A Refinement of Strong Sequentiality for Term-Rewriting
with Constructors}},
journal = {Information and Computation},
year = {1987},
volume = {72},
number = {1},
pages = {46--65}
}
@mastersthesis{Tip91,
key = {Tip91},
author = {F. Tip},
title = {{T}he equation debugger},
school = {University of Amsterdam, Programming Research
Group},
year = {1991}
}
@techreport{Tip94b,
key = {Tip94b},
author = {F. Tip},
title = {A Survey of Program Slicing Techniques},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9438},
address = {Amsterdam},
year = {1994}
}
@techreport{Tip94a,
key = {Tip94a},
author = {F. Tip},
title = {Generic Techniques for Source-level Debugging
and Dynamic Program Slicing},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9453},
address = {Amsterdam},
year = {1994}
}
@inproceedings{Tip93,
key = {Tip93},
author = {F. Tip},
title = {Animators for Generated Programming
Environments},
booktitle = {Proceedings of the First International
Workshop on Automated and Algorithmic Debugging},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {241--254},
editor = {P. Fritzson},
organization = {Springer-Verlag},
year = {1993},
note = {Also available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Tip93.ps.Z}
}
@article{Tei84,
key = {Tei84},
author = {W. Teitelman},
title = {{A} tour through {C}edar},
journal = {IEEE Software},
pages = {44-73},
year = {1984}}
@inproceedings{TC90,
key = {TC90},
author = {T. Teitelbaum and R. Chapman},
title = {Higher-order attribute grammars and editing
environment},
booktitle = {Proceedings of the ACM SIGPLAN '90 Conference
on
Programming Languages Design and Implementation},
pages = {197-208},
organization = {ACM},
year = {1990},
note = {Appeared as {\it SIGPLAN Notices} 25(6)}
}
@article{TWW82,
key = {TWW82},
author = {J.W. Thatcher and E.G. Wagner and J.B. Wright},
title = {{D}ata type specification: parameterization and
the power of specification techniques},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {4},
number = {4},
pages = {711-732},
year = {1982}}
@inproceedings{Tho87,
key = {Tho87},
author = {M. Thomas},
title = {{I}mplementing algebraically specified abstract
data types in an imperative programming language},
booktitle = {TAPSOFT '87 - Proceedings of the International
Joint Conference on Theory and Practice of Software Development
2},
series = {Lecture Notes in Computer Science},
editor = {H. Ehrig and R. Kowalski and G. Levi and U.
Montanari},
volume = {250},
pages = {197-211},
organization = {Springer-Verlag},
year = {1987}}
@article{Tic86,
key = {Tic86},
author = {W.F. Tichy},
title = {{S}mart recompilation},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {8},
number = {3},
pages = {273-291},
year = {1986}}
@article{Tic88,
key = {Tic88},
author = {W.F. Tichy},
title = {{T}ichy's response to {R}.{W}. {S}chwanke and
{G}.{E}. {K}aiser's "{S}marter recompilation"},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {10},
number = {4},
pages = {633-634},
year = {1988}}
@article{TN87,
key = {TN87},
author = {A. Togashi and S. Noguchi},
title = {{A} program transformation from equational
programs into logic programs},
journal = {Journal of Logic Programming},
volume = {4},
pages = {85-103},
year = {1987}}
@incollection{Tur80,
key = {Tur80},
author = {V.F. Turchin},
title = {{S}emantic definitions in {R}efal and automatic
production of compilers},
booktitle = {Semantics-directed compiler generation},
series = {Lecture Notes in Computer Science},
editor = {N.D. Jones},
volume = {94},
pages = {441-474},
publisher = {Springer-Verlag},
year = {1980}}
@inproceedings{Tur85,
key = {Tur85},
author = {V. Turchin},
title = {{P}rogram transformation by supercompilation},
booktitle = {Programs as Data Objects, Proceedings of a
workshop},
series = {Lecture Notes in Computer Science},
editor = {H. Ganzinger and N.D. Jones},
volume = {217},
pages = {257-281},
organization = {Springer-Verlag},
year = {1985}}
@article{Tur86,
key = {Tur86},
author = {V.F. Turchin},
title = {{T}he concept of a supercompiler},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {8},
number = {3},
pages = {292-325},
year = {1986}}
@inproceedings{TNT82,
key = {TNT82},
author = {V.F. Turchin and R.M. Nirenberg and D.V.
Turchin},
title = {{E}xperiments with a supercompiler},
booktitle = {Conference Record of the 1982 ACM Symposium on
LISP and Functional Programming},
pages = {47-55},
year = {1982}}
@inproceedings{Thi84,
key = "Thi84",
title = "Stop Losing Sleep over Incomplete Data Type
Specifications",
author = "J.J. Thiel",
booktitle = "Conference Record of the Eleventh ACM Symposium
on
Principles of Programming Languages",
pages = "76-82",
year = 1984
}
@article{Ten76,
key = "Ten76",
author = "R.D. Tennent",
title = "The Denotational Semantics of Programming Languages",
journal = "Communications of the ACM",
volume = 19,
pages = "437-453",
year = 1976
}
@incollection{TWW79,
key = {TWW79},
author = {J.W. Thatcher and E.G. Wagner and J.B. Wright},
title = {{N}otes on algebraic fundamentals for
theoretical computer science},
booktitle = {Foundations of computer science III, part 2},
series = {Mathematical Centre Tracts},
editor = {J.W. de Bakker and J. van Leeuwen},
volume = {109},
pages = {83-163},
publisher = {Centrum voor Wiskunde en Informatica (CWI)},
address = {Amsterdam},
year = {1979}}
@book{Tom85,
key = {Tom85},
author = {M. Tomita},
title = {{E}fficient {P}arsing for {N}atural
{L}anguages},
publisher = {Kluwer Academic Publishers},
year = {1985}}
@techreport{Tip94,
key = {Tip94},
title = {Generic Techniques for source-level debugging and dynamic
program slicing},
author = {Frank Tip},
type = {Report {CS}-{R}9453},
month = {September},
year = {1994},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
address = {Amsterdam}
}
@techreport{Tip94b,
key = {Tip94b},
author = {F. Tip},
title = {A Survey of Program Slicing Techniques},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9438},
address = {Amsterdam},
year = {1994}
}
@techreport{TS94,
key = "TS94",
title = "Type equivalence, subtyping and type transformations in
object-oriented databases",
author = "C.J.E. Thieme and A.P.J.M. Siebes",
number = "CS-R9451",
month = "August",
year = "1994",
institution = "CWI"
}
@article{Tho90,
key = "Tho90",
title = "Lawful functions and Program Verification in {M}iranda",
author = "Simon Thompson",
journal = "Science of Computer Programming",
volume = "13",
year = "1990",
pages = "181--218",
publisher = "North-Holland"
}
@article{TG78,
key = "TG78",
title = "Genetic Order and Compactifying Garbage Collectors",
author = "Motoaki Terashima and Elichi Goto",
journal = "Information Processing Letters",
volume = "7",
number = "1",
year = "1978",
pages = "27--32"
}
@inproceedings{Tho86,
key = "Tho86",
title = "Laws in Miranda",
author = "Simon Thompson",
booktitle = "ACM Conference on Lisp and Functional Programming",
address = "Cambridge, Massachusetts",
year = "1986",
pages = "1--12"
}
@inproceedings{Tur85,
key = "Tur85",
title = "Miranda: A non-strict functional language with polymorphic types",
author = "D.A. Turner",
booktitle = {Functional Programming Languages and Computer Architecture},
series = {Lecture Notes in Computer Science},
volume = {201},
editor = {J.P. Jouannaud},
publisher = {Springer-Verlag},
year = 1985,
pages = {1--16}
}
@inproceedings{TN94,
key = "TN94",
title = "A Novel Term Compression Scheme and Data
Representation in the BinWAM",
author = "Paul Tarau and Ulrich Neumerkel",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@article{Thi93,
key = "Thi93",
author = "Peter J. Thiemann",
title = "Efficient implementation of structural recursive programs",
number = 1,
pages = "41--70",
journal = "Journal of Programming Languages",
year = "1993"
}
@TechReport{TAL90,
author = "David Tarditi and Anurag Acharya and Peter Lee",
title = "No assembly required: Compiling {S}tandard {ML} to {C}",
institution = "School of computer Science, Carnegie Mellon University",
year = "1990",
key = "TAL90",
number = "CMU-CS-90-187",
month = "November",
}
@Article{TSK83a,
author = "A.S.~Tanenbaum and H.~van~Staveren and E.G.~Keizer
and J.W.~Stevenson",
title = "A practical toolkit for making portable compilers",
key = "TSK83a",
journal = "Communications of the {ACM}",
year = "1983",
volume = "26",
number = "9",
pages = "654--660",
month = "September"
}
@TechReport{TSK83b,
author = "A.S.~Tanenbaum and H.~van~Staveren and E.G.~Keizer
and J.W.~Stevenson",
title = "Description of a machine architecture for use with
block structured languages",
institution = "Vrije Universiteit Amsterdam",
year = "1983",
key = "TSK83b",
number = "IR-81",
month = "August"
}
@article{Tur79,
key = {Tur79},
author = {D.A. Turner},
title = {A New Implementation Technique for Applicative Languages},
journal = {Software Practice and Experience},
volume = {9},
year = {1979},
pages = {31-49}
}
@article{To89,
key = {To89},
author = {Yoshihito Toyama},
title = {Fast Knuth-Bendix Completion With a Term Rewriting System
Compiler},
journal = {Information Processing Letters},
number = 32,
year = 1989,
pages = {325-328},
publisher = {Elsevier Science Publishers B.V. (North-Holland)}
}