default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrzej Blikle
@article{DBLP:journals/ercim/Blikle23,
author = {Andrzej Blikle},
title = {Denotational Engineering - Call for Participation},
journal = {{ERCIM} News},
volume = {2023},
number = {134},
year = {2023},
url = {https://ercim-news.ercim.eu/en134/r-i/denotational-engineering-call-for-participation},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Blikle23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/Blikle20,
author = {Andrzej Blikle},
title = {An Experiment with Denotational Semantics},
journal = {{SN} Comput. Sci.},
volume = {1},
number = {1},
pages = {15:1--15:31},
year = {2020},
url = {https://doi.org/10.1007/s42979-019-0013-0},
doi = {10.1007/S42979-019-0013-0},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/Blikle20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12444,
author = {Andrzej Blikle},
title = {An Experiment with a User Manual of a Programming Language Based on
a Denotational Semantics},
journal = {CoRR},
volume = {abs/1905.12444},
year = {2019},
url = {http://arxiv.org/abs/1905.12444},
eprinttype = {arXiv},
eprint = {1905.12444},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12444.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Blikle96,
author = {Andrzej Blikle},
title = {Why Denotational? Remarks on Applied Denotational Semantics},
journal = {Fundam. Informaticae},
volume = {28},
number = {1-2},
pages = {55--85},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-281204},
doi = {10.3233/FI-1996-281204},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Blikle96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Blikle91,
author = {Andrzej Blikle},
title = {Three-valued predicates for software specification and validation},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {387--410},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Blikle91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KonikowskaTB91,
author = {Beata Konikowska and
Andrzej Tarlecki and
Andrzej Blikle},
title = {A three-valued logic for software specification and validation},
journal = {Fundam. Informaticae},
volume = {14},
number = {4},
pages = {411--453},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KonikowskaTB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BlikleTT91,
author = {Andrzej Blikle and
Andrzej Tarlecki and
Mikkel Thorup},
title = {On Conservative Extensions of Syntax in System Development},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {209--233},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90308-O},
doi = {10.1016/0304-3975(91)90308-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BlikleTT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BlikleT90,
author = {Andrzej Blikle and
Mikkel Thorup},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {On Conservative Extensions of Syntax in the Process of System Development},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {504--525},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_25},
doi = {10.1007/3-540-52513-0\_25},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BlikleT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Blikle89,
author = {Andrzej Blikle},
title = {Denotational Engineering},
journal = {Sci. Comput. Program.},
volume = {12},
number = {3},
pages = {207--253},
year = {1989},
url = {https://doi.org/10.1016/0167-6423(89)90003-8},
doi = {10.1016/0167-6423(89)90003-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Blikle89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Blikle88,
author = {Andrzej Blikle},
title = {A Guided Tour of the Mathematics of MetaSoft'88},
journal = {Inf. Process. Lett.},
volume = {29},
number = {2},
pages = {81--86},
year = {1988},
url = {https://doi.org/10.1016/0020-0190(88)90033-6},
doi = {10.1016/0020-0190(88)90033-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Blikle88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KonikowskaTB88,
author = {Beata Konikowska and
Andrzej Tarlecki and
Andrzej Blikle},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {A Three-Valued Logic for Software Specification and Validation},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {218--242},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_19},
doi = {10.1007/3-540-50214-9\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/KonikowskaTB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Blikle88,
author = {Andrzej Blikle},
editor = {Robin E. Bloomfield and
Lynn S. Marshall and
Roger B. Jones},
title = {Three-Valued Predicates for Software Specification and Validation},
booktitle = {{VDM} '88, {VDM} - The Way Ahead, 2nd VDM-Europe Symposium, Dublin,
Ireland, September 11-16, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {328},
pages = {243--266},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50214-9\_20},
doi = {10.1007/3-540-50214-9\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Blikle88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Blikle87,
author = {Andrzej Blikle},
title = {MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics},
series = {Lecture Notes in Computer Science},
volume = {288},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18657-3},
doi = {10.1007/3-540-18657-3},
isbn = {3-540-18657-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Blikle87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Blikle87,
author = {Andrzej Blikle},
editor = {Dines Bj{\o}rner and
Cliff B. Jones and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Erich J. Neuhold},
title = {Denotational Engineering or from Denotations to Syntax},
booktitle = {{VDM} '87, {VDM} - {A} Formal Method at Work, VDM-Europe Symposium,
Brussels, Belgium, March 23-26, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {252},
pages = {151--209},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17654-3\_12},
doi = {10.1007/3-540-17654-3\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Blikle87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlikleT83,
author = {Andrzej Blikle and
Andrzej Tarlecki},
editor = {R. E. A. Mason},
title = {Naive Denotational Semantics},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {345--355},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BlikleT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Blikle82,
author = {Andrzej Blikle},
editor = {Dines Bj{\o}rner},
title = {Session Discussion},
booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts-
II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
pages = {149--158},
publisher = {North-Holland},
year = {1982},
timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Blikle82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Blikle81,
author = {Andrzej Blikle},
title = {The Clean Termination of Iterative Programs},
journal = {Acta Informatica},
volume = {16},
pages = {199--217},
year = {1981},
url = {https://doi.org/10.1007/BF00261259},
doi = {10.1007/BF00261259},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Blikle81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Blikle81,
author = {Andrzej Blikle},
title = {On the Development of Correct Specified Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {7},
number = {5},
pages = {519--527},
year = {1981},
url = {https://doi.org/10.1109/TSE.1981.231114},
doi = {10.1109/TSE.1981.231114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Blikle81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Blikle79,
author = {Andrzej Blikle},
editor = {Jir{\'{\i}} Becv{\'{a}}r},
title = {Assertion Programming},
booktitle = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
series = {Lecture Notes in Computer Science},
volume = {74},
pages = {26--42},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09526-8\_3},
doi = {10.1007/3-540-09526-8\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Blikle79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Blikle78,
author = {Andrzej Blikle},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Specified programming},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {228--251},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_29},
doi = {10.1007/3-540-09541-1\_29},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/msi/Blikle78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Blikle77,
author = {Andrzej Blikle},
editor = {Bruce Gilchrist},
title = {An Analytic Approach to the Verification of Iterative Programs},
booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
Toronto, Canada, August 8-12, 1977},
pages = {285--290},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Blikle77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Blikle77,
author = {Andrzej Blikle},
editor = {Erich J. Neuhold},
title = {Towards Mathematical Structured Programming},
booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts,
St. Andrews, NB, Canada, August 1-5, 1977},
pages = {183--202},
publisher = {North-Holland},
year = {1977},
timestamp = {Mon, 21 Jan 2019 18:41:33 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Blikle77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Blikle77,
author = {Andrzej Blikle},
editor = {Jozef Gruska},
title = {A Comparative Review of Some Program Verification Methods},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {17--33},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_124},
doi = {10.1007/3-540-08353-7\_124},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Blikle77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/BlikleB76,
author = {Andrzej Blikle and
Stanislaw Budkowski},
title = {Certification of microprograms by an algebraic method},
booktitle = {Proceedings of the 9th annual workshop on Microprogramming, {MICRO}
1976, New Orleans, Louisiana, USA, September 27-29, 1976},
pages = {9--14},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800145.804779},
doi = {10.1145/800145.804779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micro/BlikleB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Blikle75,
author = {Andrzej Blikle},
title = {Proving programs by delta-relations},
journal = {J. Inf. Process. Cybern.},
volume = {11},
number = {4-6},
pages = {267--274},
year = {1975},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Blikle75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1974,
editor = {Andrzej Blikle},
title = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07162-8},
doi = {10.1007/3-540-07162-8},
isbn = {3-540-07162-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Blikle74,
author = {Andrzej Blikle},
editor = {Andrzej Blikle},
title = {Proving Programs by Sets of Computations},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {333--358},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_694},
doi = {10.1007/3-540-07162-8\_694},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Blikle74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Blikle73,
author = {Andrzej Blikle},
title = {An Algebraic Approach to Programs and Their Computations},
booktitle = {Mathematical Foundations of Computer Science: Proceedings of Symposium
and Summer School, Strbsk{\'{e}} Pleso, High Tatras, Czechoslovakia,
September 3-8, 1973},
pages = {17--26},
publisher = {Mathematical Institute of the Slovak Academy of Sciences},
year = {1973},
timestamp = {Fri, 04 Feb 2011 12:55:47 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Blikle73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Blikle72,
author = {Andrzej Blikle},
title = {Equational Languages},
journal = {Inf. Control.},
volume = {21},
number = {2},
pages = {134--147},
year = {1972},
url = {https://doi.org/10.1016/S0019-9958(72)90063-0},
doi = {10.1016/S0019-9958(72)90063-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Blikle72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Blikle72,
author = {Andrzej Blikle},
title = {Addressless Units for Carrying Out Loop-Free Computations},
journal = {J. {ACM}},
volume = {19},
number = {1},
pages = {136--157},
year = {1972},
url = {https://doi.org/10.1145/321679.321690},
doi = {10.1145/321679.321690},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Blikle72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MostowskiB69,
author = {Andrzej Mostowski and
Andrzej Blikle},
title = {Meeting of the Association for Symbolic Logic Warsaw 1968},
journal = {J. Symb. Log.},
volume = {34},
number = {3},
pages = {533--544},
year = {1969},
url = {https://doi.org/10.2307/2270969},
doi = {10.2307/2270969},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MostowskiB69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
