Andrzej Blikle

According to our database1, Andrzej Blikle
  • authored at least 25 papers between 1969 and 1996.
  • has a "Dijkstra number"2 of four.

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


  Loading...