Andrzej Blikle

Publication Activity (10 Years)

Years Active: 1969-2023
Publications (10 Years): 3

Top Topics

Programming Language

Denotational Semantics

Abstract Data Types

Concurrent Programming

Top Venues

SN Comput. Sci.

Publications

Andrzej Blikle
Denotational Engineering - Call for Participation. ERCIM News 2023 (134) (2023)
Andrzej Blikle
An Experiment with Denotational Semantics. SN Comput. Sci. 1 (1) (2020)
Andrzej Blikle
An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics. CoRR (2019)
Andrzej Blikle
Why Denotational? Remarks on Applied Denotational Semantics. Fundam. Informaticae 28 (1-2) (1996)
Andrzej Blikle
Three-valued predicates for software specification and validation. Fundam. Informaticae 14 (4) (1991)
Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup
On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90 (1) (1991)
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A three-valued logic for software specification and validation. Fundam. Informaticae 14 (4) (1991)
Andrzej Blikle, Mikkel Thorup
On Conservative Extensions of Syntax in the Process of System Development. VDM Europe (1990)
Andrzej Blikle
Denotational Engineering. Sci. Comput. Program. 12 (3) (1989)
Andrzej Blikle
Three-Valued Predicates for Software Specification and Validation. VDM Europe (1988)
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
A Three-Valued Logic for Software Specification and Validation. VDM Europe (1988)
Andrzej Blikle
A Guided Tour of the Mathematics of MetaSoft'88. Inf. Process. Lett. 29 (2) (1988)
Andrzej Blikle
Denotational Engineering or from Denotations to Syntax. VDM Europe (1987)
Andrzej Blikle, Andrzej Tarlecki
Naive Denotational Semantics. IFIP Congress (1983)
Andrzej Blikle
Session Discussion. Formal Description of Programming Concepts (1982)
Andrzej Blikle
The Clean Termination of Iterative Programs. Acta Informatica 16 (1981)
Andrzej Blikle
On the Development of Correct Specified Programs. IEEE Trans. Software Eng. 7 (5) (1981)
Andrzej Blikle
Assertion Programming. MFCS (1979)
Andrzej Blikle
Specified programming. Mathematical Studies of Information Processing (1978)
Andrzej Blikle
A Comparative Review of Some Program Verification Methods. MFCS (1977)
Andrzej Blikle
An Analytic Approach to the Verification of Iterative Programs. IFIP Congress (1977)
Andrzej Blikle
Towards Mathematical Structured Programming. Formal Description of Programming Concepts (1977)
Andrzej Blikle, Stanislaw Budkowski
Certification of microprograms by an algebraic method. MICRO (1976)
Andrzej Blikle
Proving programs by delta-relations. J. Inf. Process. Cybern. 11 (4-6) (1975)
Andrzej Blikle
Proving Programs by Sets of Computations. MFCS (1974)
Andrzej Blikle
An Algebraic Approach to Programs and Their Computations. MFCS (1973)
Andrzej Blikle
Equational Languages Inf. Control. 21 (2) (1972)
Andrzej Blikle
Addressless Units for Carrying Out Loop-Free Computations. J. ACM 19 (1) (1972)
Andrzej Mostowski, Andrzej Blikle
Meeting of the Association for Symbolic Logic Warsaw 1968. J. Symb. Log. 34 (3) (1969)