Krzysztof R. Apt

8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Krzysztof R. Apt

Krzysztof R. Apt: what Hoare logic can prove, surveyed from 'Ten Years of Hoare's Logic' (1981-84) to 'Fifty years of Hoare's logic' (2019), with the textbook on sequential and concurrent program verification and its OO sequel.

Fifty years of Hoare's logic

Krzysztof R. Apt and others (2019) · Formal Aspects of Computing

Verification of object-oriented programs: A transformational approach

Krzysztof R. Apt and others (2012) · Journal of Computer and System Sciences

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt and others (2009) · Springer

Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism

Krzysztof R. Apt (1984) · Theoretical Computer Science

Proof rules and transformations dealing with fairness

Krzysztof R. Apt and others (1983) · Science of Computer Programming · Elsevier BV

Ten Years of Hoare's Logic: A Survey - Part I

Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems

Recursive assertions are not enough - or are they?

Krzysztof R. Apt and others (1979) · Theoretical Computer Science · Elsevier BV

Exercises in denotational semantics

Krzysztof R. Apt and others (1976) · Lecture notes in computer science · Springer Science+Business Media