Logic of Programs

Keyphrases

Publications

1985

Albert R. Meyer, Mitchell Wand
Continuation Semantics in Typed Lambda-Calculi (Summary). Logic of Programs (1985)
Vaughan R. Pratt
Some Constructions for Order-Theoretic Models of Concurrency. Logic of Programs (1985)
Susanne Graf, Joseph Sifakis
Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs (1985)
John C. Mitchell, Albert R. Meyer
Second-Order Logical Relations (Extended Abstract). Logic of Programs (1985)
Irina Bercovici
Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract). Logic of Programs (1985)
Michael J. O'Donnell
Equational Logic as a Programming Language. Logic of Programs (1985)
Martín Abadi, Zohar Manna
Nonclausal Temporal Deduction. Logic of Programs (1985)
Moshe Y. Vardi
The Taming of Converse: Reasoning about Two-way Computations. Logic of Programs (1985)
Robert D. Tennent
Semantical Analysis of Specification Logic. Logic of Programs (1985)
Ramaswamy Ramanujam, Kamal Lodaya
Proving Fairness of Schedulers. Logic of Programs (1985)
Val Breazu-Tannen, Albert R. Meyer
Lambda Calculus with Constrained Types (Extended Abstract). Logic of Programs (1985)
Robert S. Streett
Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. Logic of Programs (1985)
Andrzej Trybulec, Howard A. Blair
Computer Aider Reasoning. Logic of Programs (1985)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-time Distributed Computing. Logic of Programs (1985)
Daniel Leivant
Partial-Correctness Theories as First-Order Theories. Logic of Programs (1985)
Stephen D. Brookes
An Axiomatic Treatment of a Parallel Programming Language. Logic of Programs (1985)
Samuel N. Kamin
A FASE Specification of FP. Logic of Programs (1985)
Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck
The Glory of the Past. Logic of Programs (1985)
Robert L. Constable, N. P. Mendler
Recursive Definitions in Type Theory. Logic of Programs (1985)
Michal Grabowski
On the Relative Incompleteness of Logics for Total Correctness. Logic of Programs (1985)
Ann E. Kelley Sobel, Neelam Soundararajan
A Proof System for Distributed Processes. Logic of Programs (1985)
Rohit Parikh, Ramaswamy Ramanujam
Distributed Processes and the Logic of Knowledge. Logic of Programs (1985)
Phokion G. Kolaitis
On Asymptotic Probability of Inductive Queries and Their Decision Problem. Logic of Programs (1985)
Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
Proving Termination of Prolog Programs. Logic of Programs (1985)
Ildikó Sain
The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods. Logic of Programs (1985)
Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
Behavior: A Temporal Approach to Process Modelling. Logic of Programs (1985)
Andreas Goerdt
A Hoare Calculus for Functions Defined by Recursion on Higher Types. Logic of Programs (1985)
E. Allen Emerson
Automata, Tableaux and Temporal Logics (Extended Abstract). Logic of Programs (1985)

1983