We stand with Ukraine

We stand with Ukraine

Andrzej Blikle

According to our database¹, Andrzej Blikle authored at least 28 papers between 1969 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Denotational Engineering - Call for Participation.

[BibT_eX]

[DOI]

ERCIM News, 2023

2020

An Experiment with Denotational Semantics.

[BibT_eX]

[DOI]

SN Comput. Sci., 2020

2019

An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics.

[BibT_eX]

[DOI]

CoRR, 2019

1996

Why Denotational? Remarks on Applied Denotational Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

1991

On Conservative Extensions of Syntax in System Development.

[BibT_eX]

[DOI]

,

Andrzej Tarlecki

,

Theor. Comput. Sci., 1991

A three-valued logic for software specification and validation.

[BibT_eX]

Beata Konikowska

,

Andrzej Tarlecki

,

Fundam. Informaticae, 1991

Three-valued predicates for software specification and validation.

[BibT_eX]

Fundam. Informaticae, 1991

1990

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

[BibT_eX]

[DOI]

,

Proceedings of the VDM '90, 1990

1989

Denotational Engineering.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1989

1988

A Guided Tour of the Mathematics of MetaSoft'88.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1988

1987

Denotational Engineering or from Denotations to Syntax.

[BibT_eX]

[DOI]

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

MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics

[BibT_eX]

[DOI]

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

1983

Naive Denotational Semantics.

[BibT_eX]

,

Andrzej Tarlecki

Proceedings of the Information Processing 83, 1983

1982

Session Discussion.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

On the Development of Correct Specified Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1981

The Clean Termination of Iterative Programs.

[BibT_eX]

[DOI]

Acta Informatica, 1981

1979

Assertion Programming.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978

Specified programming.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

A Comparative Review of Some Program Verification Methods.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Towards Mathematical Structured Programming.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

An Analytic Approach to the Verification of Iterative Programs.

[BibT_eX]

Proceedings of the Information Processing, 1977

1976

Certification of microprograms by an algebraic method.

[BibT_eX]

[DOI]

,

Stanislaw Budkowski

Proceedings of the 9th annual workshop on Microprogramming, 1976

1975

Proving programs by delta-relations.

[BibT_eX]

J. Inf. Process. Cybern., 1975

1974

Proving Programs by Sets of Computations.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

An Algebraic Approach to Programs and Their Computations.

[BibT_eX]

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

1972

Equational Languages

[BibT_eX]

[DOI]

Inf. Control., September, 1972

Addressless Units for Carrying Out Loop-Free Computations.

[BibT_eX]

[DOI]

J. ACM, 1972

1969

Meeting of the Association for Symbolic Logic Warsaw 1968.

[BibT_eX]

[DOI]

Andrzej Mostowski

,

J. Symb. Log., 1969

Loading...