 | 1996 |
|---|
| 25 |       | Andrzej Blikle:
Why Denotational? Remarks on Applied Denotational Semantics.
Fundam. Inform. 28(1-2): 55-85 (1996) |
| 1991 |
|---|
| 24 |  | Andrzej Blikle:
Three-valued predicates for software specification and validation.
Fundam. Inform. 14(4): 387-410 (1991) |
| 23 | | Beata Konikowska,
Andrzej Tarlecki,
Andrzej Blikle:
A three-valued logic for software specification and validation.
Fundam. Inform. 14(4): 411-453 (1991) |
| 22 | | Andrzej Blikle,
Andrzej Tarlecki,
Mikkel Thorup:
On Conservative Extensions of Syntax in System Development.
Theor. Comput. Sci. 90(1): 209-233 (1991) |
| 1990 |
|---|
| 21 | | Andrzej Blikle,
Mikkel Thorup:
On Conservative Extensions of Syntax in the Process of System Development.
VDM Europe 1990: 504-525 |
| 1989 |
|---|
| 20 | | Andrzej Blikle:
Denotational Engineering.
Sci. Comput. Program. 12(3): 207-253 (1989) |
| 1988 |
|---|
| 19 | | Beata Konikowska,
Andrzej Tarlecki,
Andrzej Blikle:
A Three-Valued Logic for Software Specification and Validation.
VDM Europe 1988: 218-242 |
| 18 | | Andrzej Blikle:
Three-Valued Predicates for Software Specification and Validation.
VDM Europe 1988: 243-266 |
| 17 | | Andrzej Blikle:
A Guided Tour of the Mathematics of MetaSoft'88.
Inf. Process. Lett. 29(2): 81-86 (1988) |
| 1987 |
|---|
| 16 | | Andrzej Blikle:
MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics
Springer 1987 |
| 15 | | Andrzej Blikle:
Denotational Engineering or from Denotations to Syntax.
VDM Europe 1987: 151-209 |
| 1983 |
|---|
| 14 | | Andrzej Blikle,
Andrzej Tarlecki:
Naive Denotational Semantics.
IFIP Congress 1983: 345-355 |
| 1981 |
|---|
| 13 | | Andrzej Blikle:
The Clean Termination of Iterative Programs.
Acta Inf. 16: 199-217 (1981) |
| 12 | | Andrzej Blikle:
On the Development of Correct Specified Programs.
IEEE Trans. Software Eng. 7(5): 519-527 (1981) |
| 1979 |
|---|
| 11 | | Andrzej Blikle:
Assertion Programming.
MFCS 1979: 26-42 |
| 1978 |
|---|
| 10 | | Andrzej Blikle:
Specified programming.
Mathematical Studies of Information Processing 1978: 228-251 |
| 1977 |
|---|
| 9 | | Andrzej Blikle:
An Analytic Approach to the Verification of Iterative Programs.
IFIP Congress 1977: 285-290 |
| 8 | | Andrzej Blikle:
A Comparative Review of Some Program Verification Methods.
MFCS 1977: 17-33 |
| 1975 |
|---|
| 7 | | Andrzej Blikle:
Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings
Springer 1975 |
| 6 | | Andrzej Blikle:
Proving programs by delta-relations.
Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 267-274 (1975) |
| 1974 |
|---|
| 5 | | Andrzej Blikle:
Proving Programs by Sets of Computations.
MFCS 1974: 333-358 |
| 1973 |
|---|
| 4 | | Andrzej Blikle:
An Algebraic Approach to Programs and Their Computations.
MFCS 1973: 17-26 |
| 1972 |
|---|
| 3 | | Andrzej Blikle:
Equational Languages
Information and Control 21(2): 134-147 (1972) |
| 2 | | Andrzej Blikle:
Addressless Units for Carrying Out Loop-Free Computations.
J. ACM 19(1): 136-157 (1972) |
| 1969 |
|---|
| 1 | | Andrzej Mostowski,
Andrzej Blikle:
Meeting of the Association for Symbolic Logic Warsaw 1968.
J. Symb. Log. 34(3): 533-544 (1969) |
Data released under the ODC-BY 1.0 license — See also our legal information page