Logics of Programs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354011212x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of concurrent programs: Temporal proof principles

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025785 ◽

2005 ◽

pp. 200-252 ◽

Cited By ~ 12

Author(s):

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Concurrent Programs

Download Full-text

Design and synthesis of synchronization skeletons using branching time temporal logic

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025774 ◽

2005 ◽

pp. 52-71 ◽

Cited By ~ 780

Author(s):

Edmund M. Clarke ◽

E. Allen Emerson

Keyword(s):

Temporal Logic ◽

Branching Time ◽

Design And Synthesis

Download Full-text

Some applications of topology to program semantics

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025791 ◽

2005 ◽

pp. 375-386 ◽

Cited By ~ 2

Author(s):

Rohit Parikh

Keyword(s):

Program Semantics

Download Full-text

Critical remarks on max model of concurrency

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025793 ◽

2005 ◽

pp. 397-405

Author(s):

A. Salwicki

Download Full-text

A critique of the foundations of Hoare-style programming logics

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025790 ◽

2005 ◽

pp. 349-374

Author(s):

Michael J. O'Donnell

Keyword(s):

Programming Logics

Download Full-text

Some connections between iterative programs, recursive programs, and first-order logic

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025781 ◽

2005 ◽

pp. 150-166

Author(s):

A. J. Kfoury

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Recursive Programs

Download Full-text

Program logics and program verification

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025784 ◽

2005 ◽

pp. 197-199

Author(s):

Leslie Lamport ◽

Susan Owicki

Keyword(s):

Program Verification

Download Full-text

The refinement of specifications and the stability of Hoare's Logic

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025772 ◽

2005 ◽

pp. 24-36 ◽

Cited By ~ 1

Author(s):

JA Bergstra ◽

JV Tucker

Keyword(s):

The Stability

Download Full-text

The type theory of PL/CV3

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025775 ◽

2005 ◽

pp. 72-93 ◽

Cited By ~ 3

Author(s):

Robert L. Constable ◽

Daniel R. Zlatin

Keyword(s):

Type Theory

Download Full-text

On induction vs. *-continuity

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0025782 ◽

2005 ◽

pp. 167-176 ◽

Cited By ~ 21

Author(s):

Dexter Kozen

Download Full-text

Logics of Programs - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Verification of concurrent programs: Temporal proof principles

Design and synthesis of synchronization skeletons using branching time temporal logic

Some applications of topology to program semantics

Critical remarks on max model of concurrency

A critique of the foundations of Hoare-style programming logics

Some connections between iterative programs, recursive programs, and first-order logic

Program logics and program verification

The refinement of specifications and the stability of Hoare's Logic

The type theory of PL/CV3

On induction vs. *-continuity

Logics of Programs - Lecture Notes in Computer Science
Latest Publications