Andrzej Blikle

31 papers A* 1B 5Journal 15Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
Denotational Engineering - Call for Participation.
ERCIM News
Andrzej Blikle
2020 J jnl
An Experiment with Denotational Semantics.
SN Comput. Sci.
Andrzej Blikle
2019 J jnl
An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics.
CoRR
Andrzej Blikle
1996 J jnl
Why Denotational? Remarks on Applied Denotational Semantics.
Fundam. Informaticae
Andrzej Blikle
1991 J jnl
A three-valued logic for software specification and validation.
Fundam. Informaticae
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
1991 J jnl
On Conservative Extensions of Syntax in System Development.
Theor. Comput. Sci.
Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup
1991 J jnl
Three-valued predicates for software specification and validation.
Fundam. Informaticae
Andrzej Blikle
1990 — conf
On Conservative Extensions of Syntax in the Process of System Development.
VDM Europe
Andrzej Blikle, Mikkel Thorup
1989 J jnl
Denotational Engineering.
Sci. Comput. Program.
Andrzej Blikle
1988 J jnl
A Guided Tour of the Mathematics of MetaSoft'88.
Inf. Process. Lett.
Andrzej Blikle
1988 — conf
A Three-Valued Logic for Software Specification and Validation.
VDM Europe
Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
1988 — conf
Three-Valued Predicates for Software Specification and Validation.
VDM Europe
Andrzej Blikle
1987 — conf
Denotational Engineering or from Denotations to Syntax.
VDM Europe
Andrzej Blikle
1987 — book
MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics
Andrzej Blikle
1983 — conf
Naive Denotational Semantics.
IFIP Congress
Andrzej Blikle, Andrzej Tarlecki
1982 — conf
Session Discussion.
Formal Description of Programming Concepts
Andrzej Blikle
1981 J jnl
On the Development of Correct Specified Programs.
IEEE Trans. Software Eng.
Andrzej Blikle
1981 J jnl
The Clean Termination of Iterative Programs.
Acta Informatica
Andrzej Blikle
1979 B conf
Assertion Programming.
MFCS
Andrzej Blikle
1978 — conf
Specified programming.
Mathematical Studies of Information Processing
Andrzej Blikle
1977 B conf
A Comparative Review of Some Program Verification Methods.
MFCS
Andrzej Blikle
1977 — conf
An Analytic Approach to the Verification of Iterative Programs.
IFIP Congress
Andrzej Blikle
1977 — conf
Towards Mathematical Structured Programming.
Formal Description of Programming Concepts
Andrzej Blikle
1976 A* conf
Certification of microprograms by an algebraic method.
MICRO
Andrzej Blikle, Stanislaw Budkowski
1975 B ed.
Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, Poland, June 17-22, 1974, Proceedings
MFCS
Andrzej Blikle
1975 J jnl
Proving programs by delta-relations.
J. Inf. Process. Cybern.
Andrzej Blikle
1974 B conf
Proving Programs by Sets of Computations.
MFCS
Andrzej Blikle
1973 B conf
An Algebraic Approach to Programs and Their Computations.
MFCS
Andrzej Blikle
1972 J jnl
Addressless Units for Carrying Out Loop-Free Computations.
J. ACM
Andrzej Blikle
1972 J jnl
Equational Languages
Inf. Control.
Andrzej Blikle
1969 J jnl
Meeting of the Association for Symbolic Logic Warsaw 1968.
J. Symb. Log.
Andrzej Mostowski, Andrzej Blikle