Abstract is missing.
- Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture)John Alan Robinson. 2
- Program Correctness on Finite FieldsLászló Csirmaz, Bradd Hart. 4-10
- True Relative Completeness of an Axiom System for the Language L4 (Abridged)Steven M. German, Edmund M. Clarke, Joseph Y. Halpern. 11-25
- Towards Deductive Synthesis of Dataflow NetworksBengt Jonsson, Zohar Manna, Richard J. Waldinger. 26-37
- A Complete Logical Calculus for Record Structures Representing Linguistic InformationWilliam C. Rounds, Robert T. Kasper. 38-43
- Floyd-Hoare Logic Defines Semantics: Preliminary VersionAlbert R. Meyer. 44-48
- An Algebraic Model of Parallel Execution of Logic ProgramsLennart Beckman, Rune Gustavsson, Annika Wærn. 50-57
- A Semantically Based Proof System for Partial Correctness and Deadlock in CSPStephen D. Brookes. 58-65
- A Sheaf-Theoretic Model of ConcurrencyLuís Monteiro, Fernando C. N. Pereira. 66-76
- Strong Bisimulation of State AutomataDavid B. Benson, Ofer Ben-Shachar. 77-81
- Algorithm Development in the Calculus of ConstructionsChristine Mohring. 84-91
- How Uncomputable is General Circumscription? (Extended Abstract)John S. Schlipf. 92-95
- The Design and Implementations of IntuitJ. Shultis. 96-104
- Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via TransformationIan A. Mason. 105-117
- The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain EquationsRoberto M. Amadio, Kim B. Bruce, Giuseppe Longo. 122-130
- Reasoning with ContinuationsMatthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker, Bruce F. Duba. 131-141
- The Largest First-Order-Axiomatizable Cartesian Closed Category of DomainsCarl A. Gunter. 142-148
- Good Rewrite Strategies for FPJoseph Y. Halpern, John H. Williams, Edward L. Wimmers. 149-162
- The Denotional Semantics of Nondeterministic Recursive Programs using Coherent RelationsDavid A. Plaisted. 163-174
- A Timely ResolutionMartín Abadi, Zohar Manna. 176-186
- On Mechanical Theorem Proving in Minkowskian Plane GeometryShang-Ching Chou, Hai-Ping Ko. 187-192
- Proof of Translation in Natural SemanticsJoëlle Despeyroux. 193-205
- Computing Unification AlgorithmsClaude Kirchner. 206-216
- Type inference and logical relationsMario Coppo, Maddalena Zacchi. 218-226
- An Analysis of Girard s ParadoxThierry Coquand. 227-236
- Formalized Metareasoning in Type TheoryTodd B. Knoblock, Robert L. Constable. 237-248
- Infinite Objects in Type TheoryN. P. Mendler, Prakash Panangaden, Robert L. Constable. 249-255
- Quantitative and Qualitative Semantics (Abstract of Invited Lecture)Jean-Yves Girard. 258
- An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal LogicMichael C. Browne. 260-266
- Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)E. Allen Emerson, Chin-Laung Lei. 267-278
- A Propositional Model Logic of Time IntervalsJoseph Y. Halpern, Yoav Shoham. 279-292
- On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification SystemsJohann A. Makowsky, Ildikó Sain. 293-300
- Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic TheoriesDominique Perrin, Paul E. Schupp. 301-304
- A Choppy LogicRoni Rosner, Amir Pnueli. 306-313
- Levels of Knowledge in Distributed ComputingRohit Parikh. 314-321
- Probabilistic Verification by TableauxAmir Pnueli, Lenore D. Zuck. 322-331
- An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)Moshe Y. Vardi, Pierre Wolper. 332-344
- Orderings for Equational ProofsLeo Bachmair, Nachum Dershowitz, Jieh Hsiang. 346-357
- Automatic Proofs by Induction in Equational Theories Without ConstructorsJean-Pierre Jouannaud, Emmanuel Kounalis. 358-366
- Inductive Reasoning with Incomplete Specifications (Preliminary Report)Deepak Kapur, David R. Musser. 367-377
- On Translating Lambda Terms into Combinators; The Basis ProblemRichard Statman. 378-382