- Franck Seynhaeve, Marc Tommasi, Ralf Treinen:
Grid Structure and Undecidable Constraint Theories. TAPSOFT 1997: 357-368 - Jean-Pierre Talpin:
Reactive Types. TAPSOFT 1997: 595-606 - Peter Thiemann:
A Unified Framework for Binding-Time Analysis. TAPSOFT 1997: 742-756 - Wolfgang Thomas:
Automata Theory on Trees and Partial Orders. TAPSOFT 1997: 20-38 - Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416 - Irek Ulidowski
, Iain C. C. Phillips:
Formats of Ordered SOS Rules with Silent Actions. TAPSOFT 1997: 297-308 - Frits W. Vaandrager:
A Theory of Testing for Timed Automata (Abstract). TAPSOFT 1997: 39 - Frédéric Voisin:
A new Proof-Manager and Graphic Interface for the Larch Prover. TAPSOFT 1997: 863-866 - Dennis M. Volpano, Geoffrey Smith:
A Type-Based Approach to Program Security. TAPSOFT 1997: 607-621 - J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak:
A Typed Intermediate Language for Flow-Directed Compilation. TAPSOFT 1997: 757-771 - Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp:
Logicality of Conditional Rewrite Systems. TAPSOFT 1997: 141-152 - Michel Bidoit, Max Dauchet:
TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Lecture Notes in Computer Science 1214, Springer 1997, ISBN 3-540-62781-2 [contents]
