Volume 167,
Numbers 1&2,
30 October 1996
Selected Papers of TAPSOFT 1995
- Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers.
1 BibTeX
- Martin Hofmann, Donald Sannella:
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic.
3-45
Electronic Edition (link) BibTeX
- Bengt Jonsson, Yih-Kuen Tsay:
Assumption/Guarantee Specifications in Linear-Time Temporal Logic.
47-72
Electronic Edition (link) BibTeX
- Dexter Kozen:
Rational Spaces and Set Constraints.
73-94
Electronic Edition (link) BibTeX
- Aart Middeldorp, Satoshi Okui, Tetsuo Ida:
Lazy Narrowing: Strong Completeness and Eager Variable Elimination.
95-130
Electronic Edition (link) BibTeX
- Shmuel Sagiv, Thomas W. Reps, Susan Horwitz:
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
131-170
Electronic Edition (link) BibTeX
- Kai Salomaa:
Decidability of Equivalence for Deterministic Synchronized Tree Automata.
171-192
Electronic Edition (link) BibTeX
- David Sands:
Proving the Correctness of Recursion-Based Automatic Program Transformations.
193-233
Electronic Edition (link) BibTeX
- Davide Sangiorgi:
pi-Calculus, Internal Mobility, and Agent-Passing Calculi.
235-274
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:20 2009
by Michael Ley (ley@uni-trier.de)
