# Andrzej Blikle

According to our database

^{1}, Andrzej Blikle## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1996

Why Denotational? Remarks on Applied Denotational Semantics.

Fundam. Inform., 1996

1991

On Conservative Extensions of Syntax in System Development.

Theor. Comput. Sci., 1991

A three-valued logic for software specification and validation.

Fundam. Inform., 1991

Three-valued predicates for software specification and validation.

Fundam. Inform., 1991

1990

On Conservative Extensions of Syntax in the Process of System Development.

Proceedings of the VDM '90, 1990

1989

Denotational Engineering.

Sci. Comput. Program., 1989

1988

A Guided Tour of the Mathematics of MetaSoft'88.

Inf. Process. Lett., 1988

A Three-Valued Logic for Software Specification and Validation.

Proceedings of the VDM '88, 1988

Three-Valued Predicates for Software Specification and Validation.

Proceedings of the VDM '88, 1988

1987

Denotational Engineering or from Denotations to Syntax.

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics

Lecture Notes in Computer Science 288, Springer, ISBN: 3-540-18657-3, 1987

1983

Naive Denotational Semantics.

IFIP Congress, 1983

1981

On the Development of Correct Specified Programs.

IEEE Trans. Software Eng., 1981

The Clean Termination of Iterative Programs.

Acta Inf., 1981

1979

Assertion Programming.

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978

Specified programming.

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

A Comparative Review of Some Program Verification Methods.

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

An Analytic Approach to the Verification of Iterative Programs.

IFIP Congress, 1977

1976

Certification of microprograms by an algebraic method.

Proceedings of the 9th annual workshop on Microprogramming, 1976

1975

Proving programs by delta-relations.

Elektronische Informationsverarbeitung und Kybernetik, 1975

1974

Proving Programs by Sets of Computations.

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

An Algebraic Approach to Programs and Their Computations.

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973

1972

Equational Languages

Information and Control, September, 1972

Addressless Units for Carrying Out Loop-Free Computations.

J. ACM, 1972

1969

Meeting of the Association for Symbolic Logic Warsaw 1968.

J. Symb. Log., 1969